The Little Prover |
|
| Author:
| Friedman, Daniel P.
Eastlund, Carl |
| Drawings by:
| Bibby, Duane |
| Foreword by:
| Moore, J. Strother |
| Afterword by:
| Felleisen, Matthias |
| Series title: | The MIT Press Ser. |
| ISBN: | 978-0-262-33055-8 |
| Publication Date: | Jul 2015 |
| Publisher: | MIT Press
|
| Book Format: | Digital download and online |
| List Price: | USD $40.00 |
Book Description:
|
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.
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.