FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September - detaljert visning

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


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
ISBN	3540408282