Program Proofsthe_mit_press978-02-6254-623-297802625462322023-03-07English (United States)496SoftcoverBook profileEnglish (United States)
Book · 1 edition
Program Proofs
- 2023
- first published
- English
- language
- 1
- edition in English
- 496
- pages
This comprehensive and highly readable textbook teaches how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny. Program Proofs...
Editions
1 edition · sort: newestProgram Proofsthe_mit_press978-02-6254-623-297802625462322023-03-07English (United States)496Softcover