B '98, recent advances in the development and use of the b method: second international b conference, montpellier, france, april 22-24, 1998 proceedings
Auteur :
Didier, Bert
ISBN :
9783540644057
Date de publication :
8 avr. 1998
Dimensions :
23,4 x 15,6 x 1,7 cm
Poids :
1020 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Taken from the Second International B Conference, B'98, held in Montpellier, France, in April 1998, this text covers all aspects of the B technology, including introductory and methodological issues, theoretical investigations and industrial applications and B extension proposals and support tools.