Picture 1 of 4

Stock photo

LITTLE PROVER THE (Paperback / softback) (9780262527958) - Picture 1 of 4

LITTLE PROVER THE (Paperback / softback) (9780262527958) - Picture 2 of 4

LITTLE PROVER THE (Paperback / softback) (9780262527958) - Picture 3 of 4

LITTLE PROVER THE (Paperback / softback) (9780262527958) - Picture 4 of 4

Little Prover by Daniel P. Friedman and Carl Eastlund (2015, Trade Paperback)

bookwanderers (1656)

98% positive Feedback

Price:

£40.54

Free delivery in 2-3 days

Estimated between Mon, 11 Aug and Tue, 12 Aug

Ships today if you order in the next Ships today if you order in the next 7h 50m

Returns:

30 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.

Condition:

New

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). Sometimes the best way to learn something is to sit down and do it; the book takes readers through step-by-step examples showing how to write inductive proofs.