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
Computergesttzter organisationaler Wissenstransfer und Wissensgenerierung
$44.99
Amorphous Insulators and Semiconductors
$219.99
Zirkulre Positionen 2
$44.99
Non-Photochemical Quenching and Energy Dissipation in Plants, Algae and Cyanobacteria
$229.00
Energieeinsparende Gebude und Anlagentechnik
$69.99
Optimal Control for Econometric Models
$169.99
Dokumenten-Management
$54.99
Minimax Theorems
$159.99
Intracellular Cholesterol Trafficking
$39.99
Krisen-PR aus Sicht der Stakeholder
$59.99
The Handbook of Cuffless Blood Pressure Monitoring
$199.99
British Burma in the New Century, 18951918
$99.99
Soft Computing for Knowledge Discovery and Data Mining
$54.99
Virus Variability, Epidemiology and Control
$169.00
Computational Commutative Algebra 2
$54.99
Advances in Computer Graphics
$39.99
Quadrupedal Locomotion
$129.00
CIM-Aus- und Weiterbildung: Entwicklung eines CIM-Lehr- und Lernsystems
$59.99
On the Decline of the Genteel Virtues
$49.99
Restitution und Vererbung
$59.99
IT-Management im Zeitalter der Digitalisierung
$49.99
Worms for Lunch?
$4.46
Proceedings of the International Conference on Soft Computing for Problem Solving (SocProS 2011) Dec
$329.99
Healthy Urbanism
$39.99
Public Policy Analysis
$109.99
Mitigation of Dangers from Natural and Anthropogenic Hazards
$54.99
Guide to Simulation and Modeling for Biosciences
$39.99
Case-Based Reasoning Research and Development
$39.99
Die politische Zersplitterung Deutschlands
$59.99
SIGIR 94
$109.99
Role of Domestic Courts in the Settlement of Investor-State Disputes
$109.00
Environmental Specimen Banking and Monitoring as Related to Banking
$219.99
Radiology of Infectious and Inflammatory Diseases - Volume 5
$109.99
Theory of Cryptography
$69.99
Fatigue and Fracture of Fibre Metal Laminates
$139.99
Phase Structure of Strongly Interacting Matter
$109.99
Photosynthesis Research for Food, Fuel and Future
$329.99
Deep Learning in Computational Mechanics
$64.99
Health in Diversity Diversity in Health
$89.99
Digitales Human Resource Management
$64.99
