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
Stressbewltigung
$29.99
Cervical Spine Surgery: Standard and Advanced Techniques
$249.99
Proceedings of the International Conference on Ubiquitous Computing & Ambient Intelligence (UCAmI 20
$219.99
Blair's Just War
$54.99
Consumer Voice
$64.99
The Politics of Repression Under Authoritarian Rule
$129.99
Briefe an Vieweg
$59.99
Methods in Bone Biology
$169.00
Language, Nation and Power
$109.99
Multiagent Systems and Applications
$84.99
Violent Neoliberalism
$44.99
Laserspektroskopie
$59.99
Dendritic Cells in Cancer
$169.99
Changing Digital Geographies
$89.00
Pocket Guide Geology in the Field
$84.99
Die eindimensionale Wellengleichung
$17.99
Handbuch Betriebswirtschaft fr Ingenieure
$44.99
Psychiatric Disorders Late in Life
$169.99
Handbuch des Wasserbaues
$64.99
Customising Stakeholder Management Strategies
$49.95
Essay on Machines in General (1786)
$119.00
Local Subversions of Colonial Cultures
$99.99
Der nachschaffende Hrer
$29.99
Where We Dwell in Common
$109.99
Engineering, Poverty, and the Earth
$19.99
Generative Grammar in Europe
$219.99
Animals, Race, and Multiculturalism
$84.99
Die Entstehung der Kunstgeschichte im 19. Jahrhundert
$34.99
Coagulation and Blood Transfusion
$84.99
The Foundations of Defensive Defence
$54.99
Formal System Verification
$129.99
Monetary Economics
$54.99
Legitimation durch Informationsintermedire mit Nachhaltigkeitsbezug
$69.99
Analysis of Divergence
$39.99
Charakterisierung spanlos gefertigter Innengewinde in Aluminium- und Magnesium-Leichtbauwerkstoffen
$69.99
General Equilibrium Analysis
$109.99
Fluid Machinery and Fluid Mechanics
$329.99
Differential and Integral Equations through Practical Problems and Exercises
$109.99
Atlas of Genitourinary Oncological Imaging
$169.99
Entwicklung Wirtschaftliche Bedeutung Werkstoffe
$84.99
