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
Expertensystem zur Beurteilung von Anzeigenwerbung
$59.99
Thanksgiving Grades 1-2 Printable Packet
$6.49
Man-Computer Interaction: Human Factors Aspects of Computers & People
$54.99
Einfhrung in die Staatslehre
$59.99
Europe, Japan and America in the 1990s
$84.99
Function and Metabolism of Phospholipids in the Central and Peripheral Nervous Systems
$54.99
Loudness
$149.00
Research Advances in ADHD and Technology
$54.99
Probabilistic Indexing for Information Search and Retrieval in Collections of Handwritten Text
$199.99
Satellite Communication Systems Design
$219.99
Abitur und Matura zwischen Hochschulvorbereitung und Berufsorientierung
$59.99
My Books Every Day Exploring With STEM Grade 5 Classroom Set
$636.95
The New Chinese Economy
$54.99
The Use of Bone Substitutes in Spine Surgery
$109.99
New Frontiers in Engineering Geology and the Environment
$169.99
Acid Attacks in Britain, 17601975
$44.99
Boundary Element Techniques in Computer-Aided Engineering
$169.00
Computer Modeling of Free-Surface and Pressurized Flows
$549.99
Unternehmensinformation mit SAP-EIS
$84.99
Media, Sustainability and Everyday Life
$139.99
A Comparative Political Economy of Industrial Capitalism
$54.99
Death Across Cultures
$139.00
Risk, Uncertainty and Maladaptation to Climate Change
$129.99
Leadership Paradigms for Remote Agile Development
$37.99
Proceedings of the 2nd International Symposium on Disaster Resilience and Sustainable Development
$219.99
Logics in Artificial Intelligence
$109.99
Molecular and Biological Physics of Living Systems
$129.00
Nonclassical Light from Semiconductor Lasers and LEDs
$129.00
Practitioner's Guide to Ethics and Mindfulness-Based Interventions
$199.99
Abitur und was dann?
$39.99
The World of Games: Technologies for Experimenting, Thinking, Learning
$219.99
Die reprsentative Demokratie
$69.95
Hemicellulose Biorefinery: A Sustainable Solution for Value Addition to Bio-Based Products and Bioen
$279.99
Two-dimensional Hybrid Composites
$89.00
Tumor Microenvironment
$129.00
Kohlenstoff
$54.99
The New SocioTech
$169.99
Frankie's World: A Graphic Novel
$9.74
High VoltageEnergy Storage Capacitors and Their Applications
$199.99
Aktiver Transport (Kurzstreckentransport bei Pflanzen)
$44.99
