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 refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. The 25 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics covered are counterexample generation, verification, validation, term rewriting, theorem proving, computability theory, translations from one formalism to another, and cooperation between tools. Several verification case studies were presented, with applications to computational geometry, unification, real analysis, etc.
Reviews
Questions & Answers
Vertrauen in die Polizei
$74.99
The Way I Feel
$6.71
Superdense QCD Matter and Compact Stars
$229.00
Tips und Tricks fr den Urologen
$54.99
ISDN und Lokale Netze
$54.99
Brownian Dynamics at Boundaries and Interfaces
$39.99
Interaktive Wertschpfung
$29.99
Journalismus und Instagram
$59.99
The Great Thanksgiving Escape
$4.46
Optical Measurement Techniques
$84.99
Feinstrukturell-morphometrische Untersuchungen mit dem manuell-optischen Bildanalysensystem M. O. P
$59.99
3D Imaging TechnologiesMultidimensional Signal Processing and Deep Learning
$219.00
The Influence of Sub-state Actors on National Security
$159.99
Comet of the Century
$49.99
Geopolitical Turmoil in the Balkans and Eastern Mediterranean
$119.00
Breast Cancer
$169.99
Ein Beitrag zur vergleichenden Chemie der Leber
$54.99
Innovations and Implementations of Computer Aided Drug Discovery Strategies in Rational Drug Design
$279.99
Deformable Avatars
$169.99
Assessment and Obligatory Treatment of Violent and Sexually Violent Offenders
$109.99
Estimation of Natural Groundwater Recharge
$279.99
Transformation in Ungarn und der DDR
$64.99
Advanced Computer Systems
$129.00
Vom NMR-Spektrum zur Strukturformel organischer Verbindungen
$49.99
Regelungstechnik II
$69.99
Mercury as a Global Pollutant
$84.99
Bildverarbeitung fr die Medizin 2007
$139.00
Anaesthesia and Pharmaceutics
$39.99
Financial Markets in Continuous Time
$39.99
Debt Deficit And Economic Performance
$59.99
Technoliberalism and the End of Participatory Culture in the United States
$99.99
Einfhrung in die klassische Elektrodynamik
$74.99
Leadership mit Synercube
$59.99
Full Employment and Social Justice
$159.99
Advances in Signal Processing and Communication
$169.00
Hidden Order and Exotic Superconductivity in the Heavy-Fermion Compound URu2Si2
$109.99
Adaptive Interference Mitigation in GNSS
$159.99
Seventeenth Symposium on Biotechnology for Fuels and Chemicals
$169.99
Changing Cancer Patterns and Topics in Cancer Epidemiology
$54.99
Digital Holography and Digital Image Processing
$169.99
