The Little Prover (Mit Press),Used

The Little Prover (Mit Press),Used

In Stock
SKU: SONG0262527952
Brand: Mit Press
Condition: Used
$43.47
Quantity
Add to wishlist
Add to compare
Sold by Ergodebooks, an authorized reseller.

Processing time: 1-3 days

US Orders Ships in: 3-5 days

International Orders Ships in: 8-12 days

Return Policy: 15-days return on defective items

Payment Option
Payment Methods

Help

If you have any questions, you are always welcome to contact us. We'll get back to you as soon as possible, withing 24 hours on weekdays.

Customer service

All questions about your order, return and delivery must be sent to our customer service team by e-mail at yourstore@yourdomain.com

Sale & Press

If you are interested in selling our products, need more information about our brand or wish to make a collaboration, please contact us at press@yourdomain.com

An Introduction To Writing Proofs About Computer Programs, Written In An Accessible Questionandanswer Style, Complete With Stepbystep 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 Questionandanswer, 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 Stepbystep 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.

⚠️ WARNING (California Proposition 65):

This product may contain chemicals known to the State of California to cause cancer, birth defects, or other reproductive harm.

For more information, please visit www.P65Warnings.ca.gov.

Recently Viewed