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
The Politics of Drug Control
$109.99
Intercultural Communication in Asia: Education, Language and Values
$139.99
Praxis der technischen Direktwerbung
$59.99
Chronic Lung Diseases
$109.99
Verwaltung Justiz Rechtsweg Staatsverwaltung und Selbstverwaltung nach englischen und deutschen Verh
$59.99
The Defence of Natural Law
$84.99
Konzeptualisierung und Diagnose von mathematischem Grundwissen und Grundknnen
$49.99
Post-translational Modification of Proteins by Lipids
$109.99
Cytokines and Colony Stimulating Factors
$84.99
Multiplan 3.0
$59.99
Natural Draught Cooling Towers
$169.99
Vom Ornament zum Nationalkunstwerk
$34.99
The Aesthetics of Enchantment in the Fine Arts
$169.99
Progress in Theory
$84.99
Understanding Politics and Society
$69.99
HFI / NQI 2012
$219.99
Real and complex singularities, Oslo 1976
$159.99
Advances in Fuzzy Decision Making
$109.99
Phospholipases in Plant Signaling
$169.99
Essays on Anaphora
$109.99
Walters Vegetation of the Earth
$129.99
The Essential Guide to HTML5 and CSS3 Web Design
$59.99
Greedoids
$39.99
Johann Sebastian Bach: Die Kantaten und Passionen
$229.99
Heat Conduction
$84.99
Negotiating European Union
$109.99
Bildung in transnationalen Rumen
$49.99
Fabricating Europe
$84.99
Sleep Disorders in Parkinsons Disease
$99.99
Management-Buyouts und die Theorie der Unternehmung
$64.99
Essays zur Architektur
$44.99
Assembler griffbereit
$39.99
Advanced Intelligent Computing Technology and Applications
$79.99
The Theory of Wage Determination
$219.99
Electrochemical Methods in Archaeometry, Conservation and Restoration
$84.99
Datenreport Zivilgesellschaft
$54.99
The Foundations of Phenomenological Psychotherapy
$129.99
Advanced Materials for the Conservation of Stone
$99.00
Multiagent System Technologies
$54.99
Cognition in 3E: Emergent, Embodied, Extended
$84.99
