Specification in b: an introduction using the b toolkit
Auteur :
Lano, Kevin
Éditeur :
Lano, KevinHaughton, Howard,
ISBN :
9781860940187
Date de publication :
4 janv. 1996
Dimensions :
23,0 x 15,2 x 1,5 cm
Poids :
376 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Offers a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques. Examples of all development life-cycle stages are given in the work, including animation, design and code generation in C.