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

Jin Song Dong, Jim Woodcock (eds.)
Bok · Engelsk · 2003 International Conference on Formal Engineering Methods

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 Formelle metoder((NO-TrBIB)REAL002404) Programspesifikasjon((NO-TrBIB)REAL002719) Programverifikasjon((NO-TrBIB)REAL007699)
ISBN	354020461X