B language and method, the: a guide to practical formal development
Auteur :
Lano, Kevin
Éditeur :
Lano, Kevin
ISBN :
9783540760337
Date de publication :
1 avr. 1996
Dimensions :
23,4 x 15,6 x 1,3 cm
Poids :
348 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This volume presents an introduction to the B Abstract Machine Notation, and how it can be used to support formal specification and development of high integrity systems. Emphasis is placed on the use of B in the context of existing software development methods.