1 / 1
- 2023
- year of publication
- 496
- pages
- English (United States)
- language
- Softcover
- cover
- Publisher
- the_mit_press
- ISBN-13
- 978-02-6254-623-2
- EAN
- 9780262546232
- Publication date
- 2023-03-07
- Book
- Program Proofs · 1 edition
The publisher on this edition
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...