Fm 99 - formal methods: world congress on formal methods in the development of computing systems, toulouse, france, september 20-24, 1999, proceedings: v. 2
Auteur :
Wing, Jeannette M.
ISBN :
9783540665885
Date de publication :
13 sept. 1999
Dimensions :
23,4 x 15,6 x 4,8 cm
Poids :
1419 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
The second of two volumes of proceedings of the World Congress on Formal Methods in the Development of Computing Systems (FM '99). Topical sections include program verification, integration of notation and techniques, open information systems, co-design, refinement, safety and avionics.