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 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 35 papers presented in this volume were carefully reviewed and selected from 59 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.
Reviews
Questions & Answers
Cancer Chemotherapy and Selective Drug Development
$129.00
Portrait of Gunnar Klln
$39.99
Ich geh ins Heim und komme als Einstein heraus
$59.99
Erhabene Welten
$99.99
Public Relations in China
$27.99
The Vienna Circle and the Lvov-Warsaw School
$169.00
Temporomandibular Disorders
$89.00
Phytopharmaka II
$99.99
Modular Forms
$159.99
Beginning NetBeans IDE
$59.99
Smart Education and e-LearningSmart University
$259.00
Relaxation Processes in Molecular Excited States
$54.99
Hematologic Malignancies
$84.99
Carcinogenesis
$84.99
Innovations in Impact and Blast Protections
$109.99
Theory of Mind and Language in Developmental Contexts
$39.99
Epilepsy and the Corpus Callosum
$39.99
Global Production and Trade in East Asia
$129.00
Defiant Itineraries
$39.99
Heidelberger Jahrbcher
$59.99
The Pullback Equation for Differential Forms
$109.00
Emerging Trends in Electrical, Communications and Information Technologies
$169.00
Diderots Politics
$109.99
Protention in Husserls Phenomenology
$89.00
The Synthesis Approach to Digital System Design
$169.99
Die Erfindung der Balkanvlker
$64.99
Russia and America: A Philosophical Comparison
$84.99
Hormonal Regulation of Development I
$84.99
Atome Molekle Kerne
$49.99
Recent Developments in Gauge Theories
$54.99
Financial Sustainability in Public Administration
$159.99
Karosseriebautage Hamburg 2017
$119.00
Talent Management in Universitt-Unternehmenskooperationen
$74.99
Every Line of You (Hardcover)
$14.24
Geronimo Stilton The Kingdom of Fantasy: The Amazing Voyage (#3) (Hardcover)
$13.49
Climate-Ocean Interaction
$169.00
Pairing-Based Cryptography - Pairing 2007
$39.99
Modular Representation Theory
$39.99
The Maltese Language in the Digital Age
$54.99
Leading Pharmaceutical Innovation
$89.99
