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 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.
Reviews
Questions & Answers
Quarks and Leptons From Orbifolded Superstring
$89.99
Women and the Practice of Medical Care in Early Modern Europe, 1400-1800
$84.99
Multimodal Treatment of Recurrent Pelvic Colorectal Cancer
$109.99
100 Minuten fr Konfigurationsmanagement
$59.99
Kinder deuten Zahlenmuster
$74.99
Big Planet, World: Celebrate! Celebrate!
$4.46
Understanding Teaching and Learning
$49.99
Patterns of Symmetry Breaking
$329.99
Mechanics of Polymer Processing
$329.99
Image Technology
$219.99
100 Words Kids Need to Read by 2nd Grade
$2.96
Handbuch zur Flugunfalluntersuchung
$119.00
Polynomial Approximation of Differential Equations
$84.99
Die Abgrenzungsrechnung
$59.99
Monotone Complete C*-algebras and Generic Dynamics
$109.99
Post-Conflict Syrian State and Nation Building
$54.99
Personalized and Inclusive Engagement for the Design, Delivery, and Evaluation of University eLearni
$129.99
Current Research in Operational Quantum Logic
$169.99
Endoscopic and Keyhole Cranial Base Surgery
$159.99
China Satellite Navigation Conference (CSNC) 2020 Proceedings: Volume III
$219.99
Biomimetic Design Method for Innovation and Sustainability
$79.99
Global Alert
$54.99
Implizite Runge-Kutta-Formeln
$59.99
Chemical Bonds Outside Metal Surfaces
$39.99
The Racers
$9.74
Wettbewerbsorientiertes Management von Arztpraxen
$59.99
Innovative Approaches to the On-Site Assessment and Remediation of Contaminated Sites
$169.99
Just Intonation and the Combination of Harmonic Diatonic Melodic Groups
$54.99
Captain Bling's Christmas Plunder
$3.71
Constitutive Modelling of Solid Continua
$169.99
ERP-Kompendium
$49.99
Adaptive Multimodal Interactive Systems
$84.99
Solar Wind Magnetosphere Coupling
$109.99
Modeling in Mathematics
$149.00
Scale Linear and Integer Optimization: A Unified Approach
$429.00
ber die Ultraschall-Extinktion in Suspensionen und ihre Anwendung zur Messung geringer Konzentratio
$49.99
Intelligent Computing Based on Chaos
$169.00
Geospatial Services and Applications for the Internet
$84.99
Ultrafast Phenomena IV
$84.99
Foundations of Synergetics I
$54.99
