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:
Buy Interactive Theorem Proving for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$39.99 | 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
Magnetic Resonance in Experimental and Clinical Oncology
$169.00
Die Typhuserkrankungen in Salza in dem Zeitraum 19011922
$54.99
Friedrich List: Die Politik der Zukunft
$59.99
Representation Theory II. Proceedings of the Fourth International Conference on Representations of A
$34.99
The Transformation of Care in European Societies
$109.99
Marktforschung
$74.99
Automatisiertes Fahren 2024
$119.00
Auf den Spuren der globalen Finanzelite
$64.99
Fundamentals of Crystal Growth I
$109.99
Elemente der Botanik
$84.99
ber den jetzigen Stand der Diabetestherapie
$59.99
Consumer Happiness: Multiple Perspectives
$199.99
BANKMAGAZIN - Jahrgang 2016
$89.99
Humanistic Heritage
$19.99
A Mastery Approach to Complex Esophageal Diseases
$79.99
Methods of Algebraic Geometry in Control Theory: Part I
$109.99
Acute Pediatric Neurology
$199.99
Comparative Perspectives on the Right to Privacy
$159.99
Gutachten des Reichs-Gesundheitsrats, betreffend die Abwsserbeseitigung der Stadt Offenbach a. Main
$44.99
Partnership and Leadership
$169.99
Hair Follicle
$169.00
Biodegradation of Nitroaromatic Compounds
$169.99
Growing Old in the Future
$169.99
The Performing Century
$54.99
Reading Uncreative Writing
$99.99
Kraftverbrauch von Frdermitteln
$59.99
Machine Learning: From Theory to Applications
$39.99
Ganz einfach berzeugen
$39.99
Unterrichtenlernen und Forschenlernen
$79.99
Untersuchungen ber das Alterungsverhalten, die Temperaturbestndigkeit und Zeitstandfestigkeit von
$59.99
The Variational Approach to Fracture
$54.99
Transcriptional Control of Lineage Differentiation in Immune Cells
$169.99
Science, Worldviews and Education
$129.00
Residue Reviews
$54.99
Computational Models of Motivation for Game-Playing Agents
$109.99
Marketing Review St. Gallen - Jahrgang 2009
$99.99
Success for College Students with Learning Disabilities
$39.99
High Temperature Electrolysis
$179.99
Changing Social Risks and Social Policy Responses in the Nordic Welfare States
$54.99
Jahrbuch der Jean Paul Gesellschaft 2004
$49.99
