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
Predation in Organisms
$169.99
Advances in Mathematical Systems Theory
$129.00
Physikalische Medizin
$59.99
Kinase Inhibitors
$169.99
Regional Studies on Economic Growth, Financial Economics and Management
$169.99
Pro Microservices in .NET 6
$64.99
Was die Chirurgie frs Leben lehrt
$19.99
Schrdinger Operators, Aarhus 1985
$34.99
Business Process Management
$39.99
My Books Summer Grade 9-12 Fiction - Classroom Set
$795.00
Context-Aware Systems and Applications, and Nature of Computation and Communication
$54.99
Molecular and Structural Archaeology: Cosmetic and Therapeutic Chemicals
$219.99
Dynamics of Solar System Bodies and Exoplanets
$109.99
Deutsche Vereinigung, Kapitalbildung und Beschftigung
$59.99
Informations- und Codierungstheorie
$59.99
Through My Eyes
$5.96
Software-Qualitt
$89.00
Current Perspectives and Future Directions in Palliative Medicine
$39.99
Kernkompetenzen in der Integrativen Gestalttherapie
$54.99
Symmetries in Science IV
$39.99
Biology of Stress in Farm Animals: An Integrative Approach
$169.00
Der Erreger des Gelbfiebers
$59.99
Homo Connectus
$69.99
Stochastic Linear Programming
$54.99
Frontiers in Electronic Technologies
$169.99
Application and Theory of Petri Nets 1997
$39.99
The Definitive Guide to Spring Batch
$79.99
ber Freien und Gebundenen ucker in Blut und Organen
$59.99
Einfhrung in die mathematische Logik
$29.99
Verbesserung der Zhigkeitseigenschaften von Bessemer-Stahlgu
$59.99
Re-Institutionalisierung statt De-Institutionalisierung in der Behindertenhilfe
$59.99
Proceedings of the 2012 International Conference on Applied Biotechnology (ICAB 2012)
$169.00
Economic Evolution and Equilibrium
$39.99
Mathematisches Problemlsen und Beweisen
$19.99
Kompetenzlisten und Lernhinweise zur Diagnose und Frderung
$64.99
Climate Change and Rocky Mountain Ecosystems
$109.99
History in Mathematics Education
$129.00
Globalization and National Economic Welfare
$42.00
Das gesellschaftliche Unbehagen in der EU
$89.99
Equity, Efficiency, and Ethics in Remedies for Breach of Contract
$129.99
