FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings

Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.)
Bok · Engelsk · 2003 International Symposium of Formal Methods Europe

Utgitt	Berlin : Springer , c2003
Omfang	XVII, 942 s. : ill.
Emner	Computer software - Development Formal methods (Computer science) System design - Mathematics Formelle metoder Vis mer... Programarkitektur Programutvikling Programverifikasjon Formelle metoder((NO-TrBIB)REAL002404) Programarkitektur((NO-TrBIB)REAL005682) Programverifikasjon((NO-TrBIB)REAL007699)
ISBN	3540408282