The Little Prover

by Daniel P. Friedman and Carl Eastlund

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. It is written in an approachable, engaging style of question-and-answer, with the characteristic humor of The Little Schemer (fourth edition, MIT Press)...

• Format: Paperback
• Language: English
• ISBN: 0262527952
• ISBN13: 9780262527958
• Release Date: July 2015
• Publisher: MIT Press
• Length: 248 Pages
• Weight: 1.05 lbs.
• Dimensions: 0.5" x 6.9" x 8.9"
• Age Range: 18 years and up
• Grade Range: Postsecondary and higher