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 proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 35 papers presented in this volume were carefully reviewed and selected from 59 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.
Reviews
Questions & Answers
Flussorientierte Logistik und integrierte Standardsoftware
$59.99
Forensic and Legal Dentistry
$99.00
Teamsport Management
$39.99
May I Please Have a Cookie? - Alfie the Alligator: May I Please Open a Present?
$5.99
National Geographic Kids: Great Migrations: Whales
$4.46
Universal Access in Human-Computer Interaction. Access to Interaction
$39.99
Handbook of Psychopharmacology
$84.99
Supercritical Antisolvent Precipitation Process
$54.99
Diesel Engine Transient Operation
$169.99
The Theory of Queuing Systems with Correlated Flows
$84.99
Beginning STM32
$49.99
Cosmic Debris
$37.99
Theorie praktischer Probleme
$39.99
Animals and Public Health
$199.99
Distribution and ecology of vascular plants in a tropical rain forest
$109.99
People for Business: The Key to Success
$74.99
Beginning Visual C# 2005 Express Edition
$29.99
Reflectance Spectroscopy
$109.99
Interkulturelle Kompetenz deutscher Expatriates in China
$74.99
Patch-Based Techniques in Medical Imaging
$54.99
Particle Astrophysics and Cosmology
$39.99
Rational Design of Nanostructured Polymer Electrolytes and SolidLiquid Interphases for Lithium Batt
$169.99
Praxis der Umfrageforschung
$39.99
Sozialpsychologie der Partnerschaft
$89.99
Polyhydroxyalkanoates Biopolymers
$54.99
Politische Zeitschriften in Deutschland
$44.99
Degenerate Diffusions
$109.99
Practical Backscatter Communication for the Internet of Things
$54.99
Macromolecules in the Functioning Cell
$39.99
Pseudo-Differential Operators and Related Topics
$129.00
Synergien bei Unternehmensakquisitionen
$59.99
Sofa Acosta Makes a Scene
$5.96
Un-Veiling Dichotomies
$109.99
Erkenntnis Orientated: A Centennial Volume for Rudolf Carnap and Hans Reichenbach
$169.99
Wirtschafts- und Verbraucherschutzverbnde im Mehrebenensystem
$89.95
Die Schicksale der Transfusion im Letzten Decennium
$44.99
Juridical Perspectives between Islam and the West
$139.99
1974 Annual Supplement
$84.99
Elastohydrodynamik Me- und Prfverfahren Eigenschaften von Motorenlen
$84.99
Geology, Petrography and Geochemistry of Basaltic Rock in Central India
$169.99
