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
Social Work Practice with Fathers
$129.99
Transformation radioaktiver Abflle
$89.99
Education, Travel and the 'Civilisation' of the Victorian Working Classes
$39.99
The Passionate Society
$84.99
National Intellectual Capital and the Financial Crisis in Bulgaria, Czech Republic, Hungary, Romania
$39.99
Algorithms and Architectures for Parallel Processing
$59.99
The Beast You Are - Stories by Paul Tremblay
$30.00
Bauen im Bergbaugebiet
$44.99
Diophantine Approximation and Abelian Varieties
$44.99
Biosphrenreservate in Deutschland
$59.99
Handbook of Juvenile Forensic Psychology and Psychiatry
$499.99
Decent Work: Concept, Theory and Measurement
$99.00
Sustainable Energy Development
$109.00
The Power of Customer Misbehavior
$49.99
Die Druckabhngigkeit der Zndgrenzen von Acetylen-Sauerstoffgemischen
$54.99
Racial Geometries of the Black Atlantic, Asian Pacific and American Theatre
$119.99
The Handbook of Cuffless Blood Pressure Monitoring
$199.99
Strand Corrosion in Prestressed Concrete Structures
$37.99
A Clinical Guide to Occupational and Environmental Lung Diseases
$169.99
Good as Gold (Hardcover)
$11.24
First-Order Modal Logic
$189.00
Web Design and Marketing Solutions for Business Websites
$29.99
Nanostructured Thin Films and Nanodispersion Strengthened Coatings
$129.00
Stock Market Policy Since the 1987 Crash
$109.99
Asset Accounting Configuration in SAP ERP
$64.99
Operative und interventionelle Gefmedizin
$399.99
Supercritical Fluids
$219.99
Sustainable Advanced Technologies for Industrial Pollution Control
$219.99
Practical Functional Urology
$99.00
Die Werkzeugmaschinen
$59.99
Verflssigtes Ammoniak als Lsungsmittel
$79.99
Die halboffenen Anstalten fr Kleinkinder
$59.99
Exzellenz in Dienstleistung und Vertrieb
$64.99
The Sustainability of Agro-Food and Natural Resource Systems in the Mediterranean Basin
$59.99
Verselbstndigungsprozesse internationaler Organisationen
$89.99
Nutrition and Diet in Maternal Diabetes
$249.99
Der entschlsselte Wachstumscode
$29.99
Intelligent Computing and Applications
$219.99
Judicial Review of Legislation
$84.99
Performances of Suffering in Latin American Migration
$89.99
