There's still time! Order before midnight on Tuesday 18th for Christmas Delivery

The little prover

by Daniel P. Friedman | 10 July 2015
Synopsis
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. The Little Prover assumes only knowledge of recursive programs and lists (as presented in the first three chapters of The Little Schemer ) and uses only a few terms beyond what novice programmers already know. The book comes with a simple proof assistant to help readers work through the book and complete solutions to every example.
€42.00
126 Reward Points
Currently out of stock
Delivery in 5-7 Days
Eligible for free delivery

Any purchases for more than €10 are eligible for free delivery anywhere in the UK or Ireland!

Synopsis
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. The Little Prover assumes only knowledge of recursive programs and lists (as presented in the first three chapters of The Little Schemer ) and uses only a few terms beyond what novice programmers already know. The book comes with a simple proof assistant to help readers work through the book and complete solutions to every example.
€42.00
126 Reward Points
Currently out of stock
Delivery in 5-7 Days
Eligible for free delivery

Any purchases for more than €10 are eligible for free delivery anywhere in the UK or Ireland!


Product Details

ISBN - 9780262527958
Format -
Publisher -
Published - 10/07/2015
Categories - All, Books, Science and Nature, Science, Mathematics, All, Books, Business Computers, Computers, Computer Programming
No. of Pages - 248
Weight - 464
Edition -
Series - - Not Available
Page Size - 23
Language - en-US
Readership Age - Not Available
Table of Contents - Not Available

Delivery And Returns

Please Note: Items in our extended range may take longer to deliver. Delivery in 5-7 Days

Place an order for over €10 to receive free delivery to anywhere in Ireland and the UK! See our Delivery Charges section below for a full breakdown of shipping costs for all destinations.

 

Delivery Charges

  Ireland & UK* Europe & USA Australia & Canada Rest of World
Under €10 €3.80 €10 €15 €25
Over €10
Free €10 €15 €25

*Free delivery on all orders over €10 - only applies to order total.

All orders will be delivered by An Post.