Scan barcode
248 pages • first pub 2015 (editions)
ISBN/UID: 9780262527958
Format: Paperback
Language: English
Publisher: MIT Press
Publication date: 10 July 2015
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.The Little Prover introduces inductive proofs as a way to determine fac...
Content Warnings
This book doesn't have any content warnings yet!
If you're the author of this book and want to add author-approved content warnings, please email us at [email protected] to request the content warning form.
248 pages • first pub 2015 (editions)
ISBN/UID: 9780262527958
Format: Paperback
Language: English
Publisher: MIT Press
Publication date: 10 July 2015
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.The Little Prover introduces inductive proofs as a way to determine fac...
Content Warnings
This book doesn't have any content warnings yet!
If you're the author of this book and want to add author-approved content warnings, please email us at [email protected] to request the content warning form.