Zb 2002, formal specification and development in z and b: 2nd international conference of b and z users, grenoble, france, january 23-25, 2002, proceedings
Auteur :
Bert, Didier
ISBN :
9783540431664
Date de publication :
16 janv. 2002
Dimensions :
23,4 x 15,6 x 2,8 cm
Poids :
1690 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Contains the proceedings of the Second International Conference of B and Z Users, held in France in 2002. The 24 papers and three invited contributions document advances for the Z formal specification notion and cover the full scope for the B method, from theoretical issues to applications.