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 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.
Reviews
Questions & Answers
Recent Developments in Commutative Algebra
$39.99
Granular Computing and Intelligent Systems
$129.00
The Beagle Brain in Stereotaxic Coordinates
$219.00
Steuerung eines autonomen Fahrzeugs durch Deep Reinforcement Learning
$44.99
Literature and Society
$54.99
Supply Chain Coordination under Uncertainty
$129.00
The Realm of King and God
$119.99
Handbook of International Trade
$219.99
The Chinese Constitution of Central Asia
$54.99
Nanoparticles' Promises and Risks
$84.99
Accelerated Lattice Boltzmann Model for Colloidal Suspensions
$109.99
Early Childhood Development and Education in Singapore
$159.99
Sprachverarbeitung und Sprachbertragung
$54.99
Agent Orange
$159.99
Microbial Biodiversity, Biotechnology and Ecosystem Sustainability
$199.99
The Good Society
$84.99
Cyberspace Safety and Security
$54.99
Grade 6 Below-Level Pack (Levels N-S)
$215.00
Pathologie des Nervensystems VII
$119.99
Classical Political Economics and Modern Capitalism
$99.00
Akuter Extremitten-Arterienverschluss
$49.95
The Physics of Submicron Structures
$54.99
Handbook of Transportation Science
$189.00
Organogenetic Gene Networks
$129.00
Modern Physical Chemistry
$229.00
Child Sexual Abuse, Exploitation and Trafficking in the Arab Region
$129.99
Interactive Graphics in CAD
$39.99
Hyperbolic Partial Differential Equations
$49.99
Eine transformative Prsidentschaft
$44.99
Broad and Narrow Interpretations of Philosophy of Technology
$109.99
An Introduction to the Study of the Moon
$39.99
I Spy: A Book of Picture Riddles by Jean Marzollo
$14.99
Climate Change (A True Book: Ecosystems)
$5.21
Bildhaftigkeit und Lernen
$59.99
Japan's Relations with Muslim Asia
$99.99
Was ist an Mathematik schon lustig?
$9.99
Keith Lehrer
$109.99
Das Ameisenpatent
$24.99
Erdbebenbeanspruchung von Hochbauten nach verschiedenen Normen und Berechnungsverfahren
$54.99
New Advances in Mechanism and Machine Science
$219.99
