1 / 1
- 2015
- year of publication
- 248
- pages
- English (United States)
- language
- Softcover
- cover
- Publisher
- the_mit_press
- ISBN-13
- 978-02-6252-795-8
- EAN
- 9780262527958
- Publication date
- 2015-07-10
- Book
- The Little Prover · 1 edition
The publisher on this edition
An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant. The Little Prover introduces...