Gå direkte til innholdet
Rigorous Software Development
Spar

Rigorous Software Development

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.
Undertittel
An Introduction to Program Verification
Opplag
Second Edition 2025
ISBN
9781447175575
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
3.2.2026
Antall sider
290