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 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013. The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections such as program verfication, security, formalization of mathematics and theorem prover development.
Reviews
Questions & Answers
Flexible Query Answering Systems
$169.99
The Children's Crusade
$54.99
Automatic Modulation Recognition of Communication Signals
$219.99
Quantum Groups
$84.99
Selected Areas in Cryptography
$39.99
Multi-Scale Physics in Coronal Heating and Solar Wind Acceleration
$109.99
Conformal Description of Spinning Particles
$109.99
Laminated Composite Plates and Shells
$169.99
Tocqueville and Beaumont
$54.99
Chirurgisches Forum 2007 fr experimentelle und klinische Forschung
$139.99
Structure and Properties of Oriented Polymers
$259.00
Sustained Innovation Management
$109.99
Zugfrderung
$39.99
Mammary Tumor Cell Cycle, Differentiation, and Metastasis
$329.99
Modern Aspects of Pharmaceutical Quality Assurance
$89.00
Advances in Computational and Bio-Engineering
$219.99
Versuche an einem neuartigen luftgekhlten Hochleistungs-Kolbenkompressor
$59.99
Advances in Computing and Communications, Part II
$109.99
Wales in the 21st Century
$54.99
Krankheitsresistenz bei Pflanzen Von der Grundlagenforschung zu modernen Zchtungsmethoden
$54.99
Advances in Conceptual Modeling
$39.99
Sunset Over the Islands
$109.99
Proceedings of the 2nd International Conference on Green Energy Conversion System
$199.99
Energie Wie verschwendet man etwas, das nicht weniger werden kann?
$24.99
Past, Present and Future of Research in the Information Society
$109.99
Reduction of Nonlinear Control Systems
$54.99
Stolperstein oder Kompetenzstufe?
$49.99
Technologiemanagement
$109.00
Management of Pancreatic Neuroendocrine Tumors
$109.99
25 Complex Text Passages to Meet the Common Core: Literature and Informational Texts: Grade 3
$11.24
Traumatic Disorders of the Ankle
$84.99
Identity of Capability
$89.99
Algol-like Languages
$109.99
Glycoscience and Microbial Adhesion
$219.99
Visions of African Unity
$119.00
Localized Global Economies on the Northern Borderlands of Mexico and Morocco
$79.99
Control of HigherDimensional PDEs
$109.99
Umweltschutz in katholischen Orden
$64.99
The Indigenous Space and Marginalized Peoples in the United Nations
$39.99
Understanding Violence
$169.99
