Zb 2003, formal specification and development in z and b: third international conference of b and z users, turku, finland, june 4-6, 2003, proceedings
Auteur :
Bert, Didier
ISBN :
9783540402534
Date de publication :
20 mai 2003
Dimensions :
23,4 x 15,6 x 2,9 cm
Poids :
1740 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Contains the refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. This book documents the advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications and tools.