Using z: specification proof refinement
Auteur :
Woodcock, J. C. P.
Éditeur :
Woodcock, J. C. P.Davies, Jim,
ISBN :
9780139484728
Date de publication :
22 mars 1996
Dimensions :
10,0 x 10,0 x 10,0 cm
Poids :
100 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
USA
This book covers all aspects of the Z notation, including specification, rigorous and formal proof, and refinements into code. It sets out to explain the principles and practice of formal development of programs using Z.