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 proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.
Reviews
Questions & Answers
The Beta Decay of Hyperons
$39.99
Seamus Heaney's Rhythmic Contract
$99.99
Essays in Contemporary Economics
$109.99
Projective Geometry
$54.99
Gesundheitsbchlein
$59.99
World Congress on Medical Physics and Biomedical Engineering 2018
$379.99
Deep Learning Models
$179.99
Beyond Reality: Navigating the Power of Metaverse and Its Applications
$199.99
Faserbeton
$44.99
Applied Scanning Probe Methods
$549.99
Ergodic Theory
$74.95
Wasser und Luft
$84.99
Gerechtigkeit und Management
$89.99
Banking Supervision and Criminal Investigation
$129.99
Perspectives in Lie Theory
$139.99
Science Super Giants: Can You Fly High, Wright Brothers?
$3.74
Der Kampf um den verlorenen Tag
$39.99
A Field Guide to Geophysics in Archaeology
$119.00
Architektursoziologie
$29.99
Heterogene Lerngruppen im Mathematikunterricht der Grundschule
$69.99
Progress in Myopia Prevention and Control
$119.99
Systemanalyse und Regelkreissynthese
$29.99
Equinox Test (School for Unusual Magic #1) (Hardcover)
$11.24
Advances in Visual Computing
$84.99
Phenomenology World-Wide
$329.99
Solar Composition and its Evolution from Core to Corona
$249.99
Handbook of Nutrition and Pregnancy
$179.99
Islam Between Culture and Politics
$109.99
Die verdrngte Realitt: Ernhrungsarmut in Deutschland
$17.99
Scale Data Analytics
$109.99
Habitat, Ecology and Ekistics
$139.99
Der Krper als soziales Gedchtnis
$49.99
Amorphous Solid Dispersions
$219.00
Ohio's Education Reform Challenges
$49.99
Lehrbuch der Geschichtsphilosophie
$59.99
Instrumentation: Theory and Practice, Part 2
$64.99
VOB Verdingungsordnung fr Bauleistungen
$84.99
Coleridges Sublime Later Prose and Recent Theory
$129.99
Uexkll
$37.99
lhydraulik
$99.99
