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...
Community Reviews
Content Warnings
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...
Community Reviews
Content Warnings