Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
Home About Us News Our Blog Our Catalog My Cart My Account Track Shippment Contact Us
  Our Catalog   Mobile Apps

The Little Prover (The MIT Press)


Mega Sale! Save 21% on the The Little Prover (The MIT Press) by The MIT Press at EMS Linux. MPN: new-Nov09usbook-2017-c017478. Hurry! Limited time offer. Offer valid only while supplies last. An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples


Product Description

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.

Additional Information

Manufacturer:The MIT Press
Part Number:new-Nov09usbook-2017-c017478
Publisher:The MIT Press
Studio:The MIT Press
MPN:new-Nov09usbook-2017-c017478
EAN:9780262527958
Item Weight:0 pounds
Item Size:0.56 x 9 x 9 inches
Package Weight:1.05 pounds
Package Size:6.9 x 0.7 x 0.7 inches

The Little Prover (The MIT Press) by The MIT Press

Buy Now:
The Little Prover (The MIT Press)

Brand: The MIT Press
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$38.00
$30.19
You Save: 21%


Quantity:  

 


View More In Mobile Apps.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by The MIT Press, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


ean: 9781305857995, isbn: 1305857992,
Gain a strong foundation in Java programming with the confidence and technical skills to build working mobile applications when you use ANDROID BOOT CAMP FOR DEVELOPERS USING JAVA: A GUIDE TO CREATING YOUR FIRST ANDROID APPS, 3E. Written by an award-...

ean: 9781788290265, isbn: 1788290267,
Key FeaturesPacked with real-world scenarios and solutions to help you build professional grade mobile apps with Xamarin.FormsBuild an effective mobile app architecture with the Xamarin.Forms toolkitMaximize the overall quality of your Xamarin.Forms ...

ean: 9781617294075, isbn: 1617294071,
Summary OS Development with Swift is a hands-on guide to creating apps for iPhone and iPad using the Swift language. Inside, you'll be guided through every step of the process for building an app, from first idea to App Store. This book fully covers ...

ean: 9781985617476, isbn: 1985617471,
iOS 11 App Development Essentials, the latest edition of this popular book series, has now been fully updated for the iOS 11 SDK, Xcode 9 and the Swift 4 programming language. This publication is available for purchase in print and Kindle editions. ...

ean: 9781492030713, isbn: 1492030716,
GraphQL, a data query language that provides an alternative to REST and ad-hoc webservice architectures, is the most revolutionary technology for data fetching since Ajax. Just as React has changed the way web developers approach UI, GraphQL will cha...

mpn: colour illustrations, ean: 9781491906842, isbn: 1491906847,
Yes, you can create your own apps for Android devices—and it’s easy to do. This extraordinary book introduces you to App Inventor 2, a powerful visual tool that lets anyone build apps. Learn App Inventor basics hands-on with step-by-step instruct...

ean: 9781491974056, isbn: 1491974052,
What will you learn from this book?If you have an idea for a killer Android app, this fully revised and updated edition will help you build your first working application in a jiffy. You’ll learn hands-on how to structure your app, design flexible ...

ean: 9781491940464, isbn: 1491940468,
Whether you’re moving from Microsoft Office to Google Docs or simply want to learn how to automate Docs with Google Apps Script, this practical guide shows you by example how to work with each of the major Apps Script services.Office still supports...

By Wrox
ean: 9781118846773, isbn: 111884677X,
Build your ASP.NET 4.5.1 skills with real-worldinstructionIn this comprehensive guide to getting started with ASP.NET 4.5.1,best-selling author Imar Spaanjaars provides a firm foundation forcoders new to ASP.NET and key insights for those not yet fam...

ean: 9781491992470, isbn: 1491992476,
iOS 11, Swift 4, and Xcode 9 provide many new APIs for iOS developers. With this cookbook, you’ll learn more than 170 proven solutions for tackling the latest features in iOS 11 and watchOS 4, including new ways to use Swift and Xcode to make your ...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.