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
Hybrid Metaheuristics
$39.99
Production, Marketing and Use of Finger-Jointed Sawnwood
$54.99
Nitrate Contamination
$129.00
Patient Data Management in Intensive Care
$54.99
Measurement and Analysis in Transforming Healthcare Delivery
$54.99
Deep Space Probes
$84.99
Yeast Functional Genomics
$109.00
Lebensmittel und das Immunsystem
$49.99
Current Ornithology
$169.00
Preventive and Predictive Genetics: Towards Personalised Medicine
$169.99
Karen's Worst Day: A Graphic Novel (Baby-Sitters Little Sister Graphix Series #3) by Ann M. Martin
$10.99
Tumor Microenvironment
$129.00
Quantum Theory of Polymers as Solids
$54.99
Industrial Enzymes
$219.99
Internationaler Wissenstransfer und Upgrading-Prozesse
$64.99
Data Intelligence and Cognitive Informatics
$329.99
Christian Ideals in British Culture
$54.99
Context, Cognition and Conditionals
$99.99
Lectures on Choquet's Theorem
$34.99
Glycobiology Protocols
$129.00
Brexit and Democracy
$139.99
Information Security of Intelligent Vehicles Communication
$79.99
Vermessen des beruflichen Wissens
$69.99
Quantitative Models for Supply Chain Management
$259.00
Protein Metabolism of the Nervous System
$84.99
Aufgabensammlung zur Festigkeitslehre fr Wirtschaftsingenieure
$19.99
Entwicklung eines Verfahrens zur Vorausbestimmung der Druckfestigkeit von Normal- und Leichtbetonen
$59.99
Women, Religion and Feminism in Britain, 1750-1900
$54.99
Directional Drilling
$139.99
Model Validation and Uncertainty Quantification, Volume 3
$219.99
PDMS and Clusters
$74.99
Intelligent Transportation Systems
$109.99
Strategy Mix for Nonprofit Organisations
$169.99
Fernsehen als Mythos
$64.99
The Grape Genome
$249.99
Wrterbuch der Elektrischen Nachrichtentechnik / Dictionary of Technological Terms Used in Electrica
$59.99
Anschauliche Hhere Mathematik fr Ingenieure und Naturwissenschaftler 2
$49.99
Jus et Societas
$109.99
Dependable Computing for Critical Applications
$39.99
Learning and Knowledge Analytics in Open Education
$109.99
