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
Blood Brothers
$2.33
General Systems Theory
$129.00
Migration and Care Labour
$109.99
Strategische Orientierungen fr junge Technologieunternehmen
$69.99
The Semantic Web
$109.99
The Collapse Frequency of Structures
$129.99
Arbeitsbuch im Brgerlichen Recht fr Anfnger
$17.99
Bridging the Communication Gap in Science and Technology
$29.99
Guide to Fortran 2003 Programming
$49.99
Verteilungstheorie
$69.99
Entropy-Based Parameter Estimation in Hydrology
$169.99
Paediatric Orthopaedic Trauma in Clinical Practice
$54.99
Rituale der Transformation
$74.99
Gordon Parks: Segregation Story by Gordon Parks
$65.00
Quellen und Studien
$59.99
Petroleum Source Rocks
$109.99
The Theory of Wages
$74.99
Transformations Through Blockchain Technology
$139.99
Managing Environmental Disputes
$169.99
Industrial Networks and Intelligent Systems
$54.99
Behavior, Health, and Environmental Stress
$109.99
Gandhi for the 21st Century
$109.99
Wertpapier Taschenbuch
$59.99
Aerodynamik des Automobils
$69.99
Unternehmensbernahmen in den USA in den 80er Jahren
$39.99
Measurement of the Antineutrino Double-Differential Charged-Current Quasi-Elastic Scattering Cross
$109.99
Mobile and Ubiquitous Systems: Computing, Networking, and Services
$39.99
Free Boundary Value Problems
$54.99
Pig the Pug (Pig the Pug Series) by Aaron Blabey
$14.99
A Global History of Execution and the Criminal Corpse
$99.99
Porcelain Analysis and Its Role in the Forensic Attribution of Ceramic Specimens
$199.99
Management of Soil Problems
$159.99
Manual of Head and Neck Reconstruction Using Regional and Free Flaps
$79.99
Governing Police Stops Across Europe
$139.99
Narrative Struktur und Textsortendifferenzierung
$89.99
Practical Astrophotography
$44.99
Micro Total Analysis Systems 2002
$39.99
China in Africa
$129.99
The Road to Servitization
$129.99
A Good Team: An Acorn Book (Unicorn and Yeti #2)
$3.74
