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
Virtue Jurisprudence
$129.99
Homotopy Equivalences of 3-Manifolds with Boundaries
$44.99
Experimentelle Untersuchung der Relativstrmung im Laufrad einer Axialverdichterstufe
$59.99
Jugend und Politikverdrossenheit
$64.99
Blue and Green Cities
$99.00
Autobiography and the Construction of Identity and Community in the Middle East
$54.99
Vitamin C in Human Health and Disease
$179.99
Real and Stochastic Analysis
$39.99
New Frontiers in Regenerative Medicine
$84.99
Handlungsorientierte Fhrung
$39.99
Current Challenges in Stability Issues for Numerical Differential Equations
$59.99
Ultrafast Optics IV
$129.00
Pain and Kampo
$199.99
Relaxation Techniques for the Simulation of VLSI Circuits
$109.99
Topics in Cryptology CT-RSA 2008
$39.99
New Perspectives on Hispanic Caribbean Studies
$129.99
Exchange Rate, Second Round Effects and Inflation Processes
$99.99
Einfhrung in Grundbegriffe und Grundfragen der Erziehungswissenschaft
$37.99
The Anonymous Elect
$54.99
Praxisleitfaden Management Reporting
$69.99
Skeletal Aging and Osteoporosis
$109.99
Jahrbuch der Schiffbautechnischen Gesellschaft
$59.99
Multiprojektmanagement im Krankenhaus
$79.99
Gilbert and Sullivan's 'Respectable Capers'
$119.99
Poly-SiGe for MEMS-above-CMOS Sensors
$109.99
Hyperbare Oxygenation in der Infektiologie
$17.99
Musik und Emotionen
$84.99
Animal Cognition and Sequential Behavior
$129.00
A History of Confinement in Palestine: The Prison Web
$109.99
A Box Can Be Many Things
$3.71
Forschungsethik
$29.99
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries
$89.00
Self-Determination and Causal Agency Theory
$139.99
Protecting Societal Interests in Corporate Takeovers
$119.00
Soziale Akteursfigurationen im produktionsintegrierten Umweltschutz
$59.99
Conversion Coatings for Magnesium and its Alloys
$149.00
Arbeiten und gesund bleiben
$17.99
Der von Art. 8 EMRK gewhrleistete Schutz vor staatlichen Eingriffen in die Persnlichkeitsrechte im
$74.99
Das Erlebnis und die Dichtung
$49.99
Unter Strom
$19.99
