Program verification
Auteur :
Francez, Nissim
Éditeur :
Francez, Nissim
ISBN :
9780201416084
Date de publication :
1 oct. 1992
Dimensions :
24,1 x 16,2 x 2,4 cm
Poids :
620 g
Langue :
Anglais
Pays d'origine :
USA
This comprehensive textbook on program verification aims to give a clear, up-to-date approach to building proveably correct programs, emphasising the role of verification in software development.