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
Applications of Computational Methods in Manufacturing and Product Design
$249.99
The Physician's Guide to Investing
$79.99
B-C-N Nanotubes and Related Nanostructures
$169.99
Fracking - Die neue Produktionsgeografie
$39.99
Boo-nicorns: A Touch-and-Feel Book
$7.49
Optical Properties of Ions in Solids
$39.99
Fracture mechanics of concrete: Material characterization and testing
$54.99
Soft Tissue Roentgenography in Diagnosis of Thyroid Cancer
$39.99
Coronaviruses with Special Emphasis on First Insights Concerning SARS
$84.99
Emerging Pedagogies for Policy Education
$159.99
Calculating the Social
$39.99
Facing the Technological Challenge
$54.99
Welcome Books-How Things Grow: From Acorn to Oak Tree
$5.21
Managing Emotions in Journalism
$37.99
Direct Methods of Solving Crystal Structures
$219.99
Krisen, Staatsstreiche und Revolutionen
$44.99
Proceedings of the Thirteenth International Conference on Management Science and Engineering Managem
$169.00
Spatio-Temporal Modeling and Device Optimization of Passively Mode-Locked Semiconductor Lasers
$139.00
Unifying Theories of Programming and Formal Engineering Methods
$39.99
Die Eisenbahnpolitik des Frsten Bismarck
$59.99
Parkinsons Disease
$109.99
Sustainability in the Chemical Industry
$84.99
Paleopalynology
$219.99
Air Pollution Modeling and Its Application V
$219.99
Signal Transduction Immunohistochemistry
$129.00
Collective Action Theory and Empirical Evidence
$84.99
Transformation of Platform Governance in China
$89.00
Achieving Quality Education for All
$109.99
ffentliche Kommunikation im digitalen Zeitalter
$49.99
Mining Subsidence Engineering
$84.99
Unregulated Banking
$54.99
Death and Immortality
$39.99
Innovations in Energy Management and Renewable Resources
$279.99
Building Innovation Pipelines through Computer-Aided Innovation
$39.99
Economic Liberalism and the Developmental State
$139.99
Arc Routing
$389.00
Willkommen! Angst
$44.99
Gene Correction
$169.99
Haut Und Sinnesorgane
$59.99
The African National Congress and Participatory Democracy
$99.99
