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
Approximation of Functions: Theory and Numerical Methods
$39.99
Wolf-Rayet Stars: Observations, Physics, Evolution
$109.99
Elternschaft
$44.99
The Nightmare Before Christmas Book Official shopDisney
$18.99
King & Kayla: King & Kayla and the Case of the Lost Tooth
$5.21
Human Resource Design
$49.99
Algorithms and Data Structures
$39.99
Next Generation Sequencing Technologies and Challenges in Sequence Assembly
$54.99
Knowledge Based Systems in Medicine: Methods, Applications and Evaluation
$54.99
Biology of Tumors: Surfaces, Immunology, and Comparative Pathology
$54.99
Arsenic Toxicity Remediation: Biotechnological Approaches
$169.99
Congenital Mllerian Anomalies
$99.99
Dependable Computing - EDCC 2021 Workshops
$39.99
Variationen ber die vielen Frieden
$39.99
Hitler and Stalin- The Tyrants and the Second World War by Laurence Rees
$22.99
Minimum Income Protection in Flux
$39.99
Altersvorsorge am Scheideweg
$37.99
Challenging Boundaries in Language Education
$119.99
Petal's Party (Lucky Bunnies #2)
$4.49
Variation Principle in Informational Macrodynamics
$84.99
At the Frontier of Spacetime
$54.99
Der Beton
$84.99
Chicken Little: Chicken Little
$4.49
Praktikum der Sozialen Zahnheilkunde
$59.99
The European People's Party
$109.99
Grundzge einer Physiologie und Klinik der Psychophysischen Persnlichkeit
$59.99
Effective Virtual Project Teams
$69.99
A Social Theory of the WTO
$109.99
IUTAM Symposium on Progress in the Theory and Numerics of Configurational Mechanics
$109.99
White on Black in South Africa
$84.99
Der Sinn der Institutionen
$69.99
The Socio-Cognitive Approach to Communication and Pragmatics
$119.99
Ultimate Read-Aloud Collection Grade K-5
$3,119.00
Mitral Valve Surgery
$84.99
Paleontological Collections of Germany, Austria and Switzerland
$329.99
A Tale of Magic. Tale of Magic Series 1 by Chris Colfer
$9.99
Methicillin-Resistant Staphylococcus Aureus (MRSA) Protocols
$249.99
Introduction to Engineering Statistics and Lean Sigma
$99.00
Calcium Homeostasis
$219.99
New York Neighborhoods - Addressing Sustainable City Principles
$109.99
