Rigorous Software Development
An Introduction to Program Verification
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.
Specificaties
| ISBN/EAN | 9781447175575 |
| Auteur | Jose Bacelar Almeida |
| Uitgever | Van Ditmar Boekenimport B.V. |
| Taal | Engels |
| Uitvoering | Paperback / gebrocheerd |
| Pagina's | 342 |
| Lengte | |
| Breedte |