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
Emerging Technologies in Data Mining and Information Security
$329.99
Untersuchungen ber das Abmagnetisieren ferromagnetischer Proben
$59.99
The Social Impact of the Asia Crisis
$109.99
The Endothelium in Cardiovascular Disease
$84.99
Human Brain Stem Vessels
$549.00
kologie mariner Sedimente
$59.99
Non-Linear Parametric Optimization
$39.99
Evaluation of Novel Approaches to Software Engineering
$54.99
Small-N und Big-N-Data in der Sportwissenschaft
$17.99
Festigkeit und Formnderung
$59.99
Heterogenitt in der Schule
$37.99
Product-Market-Fit
$17.99
Conserving Biodiversity in East African Forests
$109.99
Dictionary of Electronics and Electrical Engineering
$74.99
Learning and Development Effectiveness in Organisations
$69.99
Repetitorium des Privatrechtes fr Wirtschaftswissenschaftler
$69.99
International Conference on Emerging Trends in Engineering (ICETE)
$169.00
Inverse Problems in Wave Propagation
$39.99
Organized Business Interests in Changing Environments
$109.99
Handbuch erziehungswissenschaftliche Biographieforschung
$149.99
Frontiers in Cardiovascular Health
$169.99
Lehrbuch der Hochspannungstechnik
$44.99
Secure IP Mobility Management for VANET
$39.99
Cognitive Radio Networks
$84.99
Isozymes in Plant Biology
$129.00
Psychosoziale Therapien bei schweren psychischen Erkrankungen
$9.99
Physical Processes in Solar Flares
$129.00
BSABS
$69.99
Cyber Denial, Deception and Counter Deception
$169.99
Der Einfluss von Management auf Corporate Entrepreneurship
$69.99
The Development of Early Childhood Education in Europe and North America
$169.99
Castle in the Air Howl's Castle Series 2 by Diana Wynne Jones
$9.99
Fortschritte in der Montage
$59.99
Optical Packet Access Protocols for WDM Networks
$84.99
Modern Paleopathology, The Study of Diagnostic Approach to Ancient Diseases, their Pathology and Epi
$179.99
Chemical Derivatization in Analytical Chemistry
$39.99
Pathologisch-anatomische Sektionsmethode
$59.99
100 Tage Schonfrist
$74.99
Terrence Malicks Unseeing Cinema
$139.99
Inorganic Chemistry
$39.99
