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
Deterrence, Reputation and Cold-War Cycles
$54.99
Neoliberal Urban Governance
$139.99
Die industrielle Produktivitt in neuerer Sicht
$59.99
Interaktive Systeme
$59.99
Die konstitutionelle Disposition zu Inneren Krankheiten
$59.99
The World Economy and National Economies in the Interwar Slump
$84.99
Memory, Images, and the English Corpus Christi Drama
$54.99
Die Zuckerkrankheit und ihre Behandlung
$59.99
Spectral Readings
$39.99
Water Treatment in Urban Environments: A Guide for the Implementation and Scaling of Nature-based So
$179.99
Domestic Violence in Hollywood Film
$99.99
Anthropologies of Global Maternal and Reproductive Health
$59.99
Kritisches Denken
$74.99
Electrets In Engineering
$279.99
Financial Deepening and Post-Crisis Development in Emerging Markets
$139.99
Human Resources in China
$54.99
Chinese Perspectives on International Relations
$109.99
Jugend als Objekt der Wissenschaften
$44.99
Computational Methods for Molecular Imaging
$109.99
Non-Compliance Procedures and Mechanisms and the Effectiveness of International Environmental Agreem
$169.99
World Literature, Neoliberalism, and the Culture of Discontent
$119.99
Challenging Malaria
$139.99
Unsere Bden entdecken Die verborgene Vielfalt unter Feldern und Wiesen
$24.99
Maimonides and Philosophy
$84.99
Die Anfnge der Romantik in der Musik
$39.99
The Origins of Modern Spin
$54.99
Social Influence Processes and Prevention
$109.99
ECMO-Extracorporeal Life Support in Adults
$249.99
Spannungsfeld Familienkindheit
$64.99
Information Technologies and Mathematical Modelling. Queueing Theory and Applications
$54.99
Computational Methods for Sparse Power Systems Analysis
$84.99
The 1755 Lisbon Earthquake: Revisited
$219.99
US Foreign Policy Decision-Making from Truman to Kennedy
$39.99
Computer Aided Virtual Manufacturing Using Creo Parametric
$69.99
Hydrodynamics of Suspensions
$109.99
Post-Communist Civil Society and the Soviet Legacy
$54.99
Cornerstones of Freedom-Third Series: The Lewis & Clark Expedition
$6.71
Multiparametric Ultrasound Diagnosis of Breast Diseases
$119.99
Untersuchungen ber den Einflu unterschiedlicher Herstellungsverfahren auf die Qualitt rostbestnd
$59.99
Fluorescence Spectroscopy and Microscopy in Biology
$379.99
