The Little Proverthe_mit_press978-02-6252-795-897802625279582015-07-10English (United States)248SoftcoverBook profileEnglish (United States)
Book · 1 edition
The Little Prover
- 2015
- first published
- English
- language
- 1
- edition in English
- 248
- pages
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...
Editions
1 edition · sort: newestThe Little Proverthe_mit_press978-02-6252-795-897802625279582015-07-10English (United States)248Softcover