The Little Prover
Download or Read eBook The Little Prover PDF written by Daniel P. Friedman and published by . This book was released on 2015 with total page 229 pages. Available in PDF, EPUB and Kindle.
| Author | : Daniel P. Friedman |
| Publisher | : |
| Total Pages | : 229 |
| Release | : 2015 |
| ISBN-10 | : 0262330563 |
| ISBN-13 | : 9780262330565 |
| Rating | : 4/5 (63 Downloads) |
Book Synopsis The Little Prover by : Daniel P. Friedman
Book excerpt: 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.
