The little prover / Daniel P. Friedman and Carl Eastlund ; drawings by Duane Bibby ; foreword by J. Strother Moore ; afterword by Matthias Felleisen.

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). Sometimes the best way to learn something is to...

Full description

Bibliographic Details

Online Access:	Full Text (via IEEE)
Main Authors:	Friedman, Daniel P. (Author), Eastlund, Carl (Author)
Other Authors:	Bibby, Duane (Illustrator), Moore, J Strother, 1947- (writer of foreword.), Felleisen, Matthias (writer of afterword.)
Format:	eBook
Language:	English
Published:	Cambridge, Massachusetts : MIT Press, [2015]
Subjects:	Automatic theorem proving. LISP (Computer program language)