Way of z, the: practical programming with formal methods
Auteur :
Jacky, Jonathan
Éditeur :
Cambridge University Press
ISBN :
9780521559768
Date de publication :
28 nov. 1996
Dimensions :
23,4 x 17,8 x 2,3 cm
Poids :
789 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
This 1997 book is a self-contained tutorial on Z for experienced programming professionals, discussing practical ways to apply formal methods in real projects and showing how to implement them in the C programming language, through case studies in safety-critical systems and other examples from computer graphics, word processing, databases, and object-oriented programming.