Fm 99 - formal methods: world congress on formal methods in the developement of computing systems, toulouse, france, september 20-24, 1999, proceedings: volume 1
Auteur :
Wing, Jeannette M.
ISBN :
9783540665878
Date de publication :
13 sept. 1999
Dimensions :
23,4 x 15,6 x 4,8 cm
Poids :
1427 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
The first of two volumes of proceedings of the World Congress on Formal Methods in the Development of Computing Systems (FM '99). Topics covered include software architecture, telecommunications, security, object-orientation, model checking, the B method, and composition and synthesis.