Gå direkt till innehållet
Rigorous Software Development
Spara

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.
Undertitel
An Introduction to Program Verification
Upplaga
Second Edition 2025
ISBN
9781447175575
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2026-02-03
Sidor
290