Enter your mobile number or email address below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.

  • Apple
  • Android
  • Windows Phone
  • Android

To get the free app, enter your mobile phone number.

Interactive Theorem Proving and Program Development 2004th Edition

3.5 out of 5 stars 3 customer reviews
ISBN-13: 978-3540208549
ISBN-10: 3540208542
Why is ISBN important?
ISBN
This bar-code number lets you verify that you're getting exactly the right version or edition of a book. The 13-digit and 10-digit formats both work.
Scan an ISBN with your phone
Use the Amazon App to scan ISBNs and compare prices.
Trade in your item
Get a $11.20
Gift Card.
Have one to sell? Sell on Amazon
Condition: Used - Good
Used - Good
Book Condition: This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. . Please note the Image in this listing is a stock photo and may not match the covers of the actual item
In Stock. Sold by anybookltduk
Condition: Used: Good
Comment: This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. . Please note the Image in this listing is a stock photo and may not match the covers of the actual item
Access codes and supplements are not guaranteed with used items.
27 Used from $60.02
+ $6.47 shipping
Only 5 left in stock (more on the way).
Ships from and sold by Amazon.com. Gift-wrap available.
List Price: $84.99 Save: $13.04 (15%)
30 New from $38.12
Interactive Theorem Provi... has been added to your Cart
More Buying Choices
30 New from $38.12 27 Used from $60.02
Free Two-Day Shipping for College Students with Prime Student Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student


"Rebound" by Kwame Alexander
Don't miss best-selling author Kwame Alexander's "Rebound," a new companion novel to his Newbery Award-winner, "The Crossover," illustrated with striking graphic novel panels. Learn more
click to open popover

Frequently bought together

  • Interactive Theorem Proving and Program Development
  • +
  • Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (MIT Press)
Total price: $129.24
Buy the selected items together

Editorial Reviews

Review

From the Back Cover


Product details

  • Series: Texts in Theoretical Computer Science. An EATCS Series
  • Hardcover: 500 pages
  • Publisher: Springer; 2004 edition (June 24, 2004)
  • Language: English
  • ISBN-10: 3540208542
  • ISBN-13: 978-3540208549
  • Product Dimensions: 6.1 x 1.1 x 9.2 inches
  • Shipping Weight: 1.8 pounds (View shipping rates and policies)
  • Average Customer Review: 3.5 out of 5 stars 3 customer reviews
  • Amazon Best Sellers Rank: #851,641 in Books (See Top 100 in Books)
  • Would you like to tell us about a lower price?
    If you are a seller for this product, would you like to suggest updates through seller support?

NO_CONTENT_IN_FEATURE
Amazon First Reads | Editors' picks at exclusive prices

Customer Reviews

Share your thoughts with other customers
See all 3 customer reviews
Rated by customers interested in
Machine Learning
5.0 out of 5 stars
5.0 out of 5 stars
Artificial Intelligence
5.0 out of 5 stars
5.0 out of 5 stars
Math Books
5.0 out of 5 stars
5.0 out of 5 stars

Top customer reviews

September 2, 2013
Format: Hardcover|Verified Purchase
Comment| 7 people found this helpful. Was this review helpful to you? Report abuse
December 26, 2012
Format: Paperback
Comment| 7 people found this helpful. Was this review helpful to you? Report abuse
June 20, 2011
Format: Kindle Edition|Verified Purchase
Comment| 16 people found this helpful. Was this review helpful to you? Report abuse

Set up an Amazon Giveaway

Interactive Theorem Proving and Program Development
Amazon Giveaway allows you to run promotional giveaways in order to create buzz, reward your audience, and attract new followers and customers. Learn more about Amazon Giveaway
This item: Interactive Theorem Proving and Program Development

Pages with related products. See and discover other items: math for computer science, mathematics for computer science, computer science and engineering