Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings

Chris George, Huaikou Miao (eds.)
Bok · Engelsk · 2002 International Conference on Formal Engineering Methods

Utgitt	Berlin : Springer , c2002
Omfang	XI, 626 s. : ill.
Emner	Formal methods (Computer science) Software engineering Computer Science Engineering & Applied Sciences Vis mer... Formal logikk Formelle metoder Programspesifikasjon Programutvikling Programverifikasjon Formelle metoder((NO-TrBIB)REAL002404) Programspesifikasjon((NO-TrBIB)REAL002719) Programverifikasjon((NO-TrBIB)REAL007699)
Dewey	004/.01/51
ISBN	3540000291