Tallenna
Rigorous Software Development
nidottu, 2026
englanti
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.
- Alaotsikko
- An Introduction to Program Verification
- Painos
- Second Edition 2025
- ISBN
- 9781447175575
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 3.2.2026
- Kustantaja
- SPRINGER LONDON LTD
- Sivumäärä
- 290
