Skip to main content
PBS logo
 
 

Search - The Little Prover

The Little Prover
The Little Prover
Author: Daniel P. Friedman, Carl Eastlund
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 lear...  more »
ISBN-13: 9780262527958
ISBN-10: 0262527952
Publication Date: 7/10/2015
Pages: 248
Rating:
  ?
0 stars, based on 0 rating
Publisher: The MIT Press
Book Type: Paperback
Members Wishing: 1
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.