Formal methods and software engineering : 4th International Conference on Formal Engineering Methods - detaljert visning

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


Utgitt	Berlin : Springer , c2002
Omfang	XI, 626 s. : ill.
Emner	Formal methods (Computer science) Software engineering Formal logikk Formelle metoder Vis mer... Programspesifikasjon Programutvikling Programverifikasjon
ISBN	3540000291