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

Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings


Utgitt	Berlin : Springer , c2004
Omfang	XIII, 500 s. : ill.
Emner	Formal logikk Formelle metoder Programspesifikasjon Programutvikling Programverifikasjon
ISBN	3540238417