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 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.
Reviews
Questions & Answers
The Brilliant World of Tom Gates: The Brilliant World of Tom Gates
$5.96
Applications and Techniques in Information Security
$39.99
Lectures on Embedded Systems
$39.99
Space Communication and Nuclear Scintillation
$109.99
The Outcrop Quiz
$74.99
Formative Modelling in Psychology and Educational Science
$109.99
Innovative Zinspapiere und zinshnliche Anlageprodukte
$49.99
Hughes Syndrome: The Antiphospholipid Syndrome
$39.99
Die Struktur des Versicherungsbetriebes
$59.99
The Borderlands of South Sudan
$54.99
Practical Geodesy
$39.99
Natural Gas Hydrate - Arctic Ocean Deepwater Resource Potential
$69.99
Organometallics in Process Chemistry
$259.00
Ultraschallgesttzte Regionalansthesie
$59.99
Energy, Ecology and Environment
$199.99
Oil on the Sea
$39.99
Aeroservoelasticity
$89.00
Echtzeitsysteme
$39.99
Numerische technische Optimierung
$69.99
Coding for MIMO-OFDM in Future Wireless Systems
$39.99
Introduction to Molecular Medicine
$109.99
Numerical Geometry of Non-Rigid Shapes
$54.99
Kostenberechnung im Tiefbau
$79.99
The Mesophase Concept in Composites
$109.99
Issues in the Contemporary Politics of Sub-Saharan Africa
$54.99
Progress in Drug Research / Fortschritte der Arzneimittelforschung / Progrs des recherches pharmace
$39.99
Aleksandr Porfirevich Borodin
$39.99
Supermagnets, Hard Magnetic Materials
$429.00
ISDN - Das diensteintegrierende digitale Nachrichtennetz
$54.99
Die Idee der Phnomenologie
$89.99
Written Communication in Family Medicine
$54.99
Animal Acoustic Communication
$139.00
Untersuchung von Sinterstoffen auf Eisen- und Zinnbronze-Basis mit hoher Verschleifestigkeit
$69.99
Applications of Systems Approaches at the Field Level
$219.99
Raum, Zeit und Relativitt
$59.99
Epidemiological Practices in Research on Effects
$109.99
Vom monarchischen Konstitutionalismus zur parlamentarischen Demokratie
$79.00
Hybrid Metaheuristics
$139.99
Personalmanagement 2001
$39.99
Taurine 10
$499.99
