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
Pattern Recognition
$99.99
Improving the Profitability, Sustainability and Efficiency of Nutrients Through Site Specific Fertil
$129.00
Phenomenology and Perspectives on the Heart
$139.99
Plasmons as Sensors
$109.99
Albtrume in der Psychotherapie
$17.99
Management, Uncertainty, and Accounting
$99.00
Purinergic and Pyrimidinergic Signalling II
$169.00
Physics for Particle Detectors and Particle Detectors for Physics
$179.99
Lineare Optimierung eine anwendungsorientierte Einfhrung in Operations Research
$37.99
Zen Shorts (A Stillwater and Friends Book) by Jon J Muth
$18.99
Briefwechsel
$59.99
Numerische Methoden bei Integralen und gewhnlichen Differentialgleichungen fr programmierbare Tasc
$69.99
Pflanzenanatomisches Praktikum II
$49.99
Achieving Safety and Reliability with Computer Systems
$129.00
Violence, Politics, and Gender in Early Modern England
$109.99
Saffron Ice Cream (Hardcover)
$14.24
Sustainable Smart Cities and Territories
$199.99
Labour Market and Fiscal Policy Adjustments to Shocks
$139.00
The Insect Viruses
$39.99
Harold Macmillan: Aspects of a Political Life
$84.99
Al-Jazeeras Double Standards in the Arab Spring
$139.99
Developing Educational Technology at an Urban Community College
$109.99
How James Watt Invented the Copier
$24.99
Head-Related Transfer Function and Acoustic Virtual Reality
$169.99
LitCamp Yellow Bunk Grades PreK-K
$895.00
Applications and Computation of Orthogonal Polynomials
$84.99
Polymeric Biomaterials
$39.99
Visual Prosthesis
$54.99
Disraelis Fiction
$29.99
Sprengstoffe und Zndmittel
$84.99
Kommunikation und Controlling
$29.99
Mathematical and Statistical Developments of Evolutionary Theory
$39.99
Apollos Wiederkehr
$59.99
Partial Differential Operators
$54.99
Software Foundations for Data Interoperability and Scale Graph Data Analytics
$54.99
Cardiac Surgical Complications
$159.99
The 2019 European Electoral Campaign
$169.99
Trends and Applications in Software Engineering
$109.99
Single Molecule Sensing Beyond Fluorescence
$199.99
Frei sprechen
$37.99
