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

Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings


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