Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Interactive Theorem Proving
Best Price (Coupon Required):
Buy Interactive Theorem Proving for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ, USA, in August 2012. The 21 revised full papers presented together with 4 rough diamond papers, 3 invited talks, and one invited tutorial were carefully reviewed and selected from 40 submissions. Among the topics covered are formalization of mathematics; program abstraction and logics; data structures and synthesis; security; (non-)termination and automata; program verification; theorem prover development; reasoning about program execution; and prover infrastructure and modeling styles.
Reviews
Questions & Answers
Chromosomes
$219.99
Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements
$99.00
Vergleichende Werbung fr die Positionierung neuer Marken
$64.99
Rethinking Virtue Ethics
$84.99
Grenzen der Mathematik
$39.99
Building Versatile Mobile Apps with Python and REST
$54.99
Comprehensive Cardiovascular Medicine in the Primary Care Setting
$139.00
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
$99.99
Scalable Uncertainty Management
$39.99
Conifer Reproductive Biology
$39.99
Mechatronics and Robotics Engineering for Advanced and Intelligent Manufacturing
$229.00
Erdbebenverhalten von Balkenbrcken mit fester Lagerung in Lngsrichtung
$49.99
Synchrotron Radiation in Chemistry and Biology II
$39.99
Renal Tumors of Childhood
$109.99
Die Analyse sozialer Ungleichheit
$69.95
The Theatrical Spectaculum
$99.99
The County Diagnostic
$54.99
Generalized Preinvexity and Second Order Duality in Multiobjective Programming
$89.99
Eukaryotic DNA Damage Surveillance and Repair
$169.99
Das Tuberkulose-Problem
$59.99
Gelegenheitsfenster fr nachhaltigen Konsum
$69.99
Zur sozialen Konzeption des Kindes
$29.99
Feminist Critical Discourse Analysis
$119.99
Private or Socialistic Forestry?
$219.99
Intelligent Technologies for Interactive Entertainment
$54.99
A Nonlinear Time Series Workshop
$169.99
Control Theory for Engineers
$179.99
Computer Networks
$39.99
Vorschriften ber den Handel mit Giften im Deutschen Reiche
$59.99
The Aral Sea Encyclopedia
$109.99
Administering the Summit
$109.99
Toxoplasmosis
$84.99
Logistisches Handelscontrolling
$59.99
Changing Practices, Changing Education
$84.99
Sensual Faith- The Art of Coming Home to Your Body by Lyvonne Briggs
$17.00
Statik
$44.99
Familienunternehmen und Publikumsgesellschaft
$69.99
Grundzge der Lehre vom Lichtsinn
$59.99
Science and Technology of Polymer Colloids
$39.99
The Creation of Quantum Mechanics and the Bohr-Pauli Dialogue
$109.99
