Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
  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
4.6 out of 5 stars with 35 reviews
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


By Course Technology Ptr
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-...

By Packt Publishing - ebooks Account
ean: 9781788476638, isbn: 1788476638,
Learn how web applications can be built efficiently using ASP.NET Core 2.0 and related frameworksKey FeaturesGet to grips with the new features and APIs introduced in ASP.NET Core 2.0Leverage the MVC framework and Entity Framework Core 2 to build eff...

By Packt Publishing - ebooks Account
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 ...

By Apress
ean: 9781484230718, isbn: 148423071X,
Learn how to integrate all the interface elements iOS users have come to know and love, such as buttons, switches, pickers, toolbars, and sliders. In this edition of the best selling book, you’ll master a variety of design patterns, from the simple...

By Sams Publishing
ean: 9780672337109, isbn: 067233710X,
In just 21 days you can acquire the knowledge and skills necessary to develop applications on your computer and apps that run on Android phones and tablets. With this complete tutorial you’ll quickly master the basics and then move on to more advan...

By CreateSpace Independent Publishing Platform
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. ...

By O'Reilly Media
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...

By O Reilly Media
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...

By O'Reilly Media
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 ...

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...



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