Rigorous software development: an introduction to program verification
Auteur :
Almeida, José Bacelar / Frade, Maria João / Pinto, Jorge Sousa / Melo de Sousa, Simão
Éditeur :
Springer London Ltd
ISBN :
9781447175575
Date de publication :
23 janv. 2026
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Grande Bretagne
This revised and expanded second edition incorporates recent advances in formal methods and program verification, integrating new techniques, tools, and exercises to equip readers with the skills necessary for rigorous software development.