The Little Prover
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | July 10, 2015 |
| Authors | Carl Eastlund |
| Daniel P. Friedman | |
| Illustrators | Duane Bibby |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2910324 |
About The Little Prover
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 inductive proofs as a way to determine facts about computer programs. . . .