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
Flow Cytometry in Hematopathology
$74.99
Mittelpunkt Mensch
$69.95
Judging International Human Rights
$199.99
Justifying Taxes
$219.99
Wertanalyse an Informationssystemen
$59.99
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries
$169.99
Engineering and Philosophy
$139.99
Advances in Bionanomaterials II
$169.99
Sexualisierte Gewalt und digitale Medien
$59.99
Stochasticity and Intramolecular Redistribution of Energy
$39.99
Ukrainian Healthcare Law in the Context of European and International Law
$109.99
Civil-Military Relations in Post-Deng China
$109.99
Der Heutige Stand der Lehre von den Geschwlsten im Besonderen der Carcinome
$59.99
Student Voice, Teacher Action Research and Classroom Improvement
$49.99
Situation Awareness with Systems of Systems
$109.99
Recent Advances in Structural Engineering
$219.99
Advances in Geomorphology and Quaternary Studies in Argentina
$189.00
Der Begriff Christlich-sozial
$59.99
Science Super Giants: Can You Fly High, Wright Brothers?
$3.74
Rethinking Displays of Chinese Contemporary Art
$129.99
Urogenital Infections
$84.99
Extremal Problems in Interpolation Theory, Whitney-Besicovitch Coverings, and Singular Integrals
$109.99
Animal Cell Technology: Challenges for the 21st Century
$169.00
The Fundamental Elements of Strategy
$59.99
CSR im Gesundheitswesen
$37.99
Einfhrung in die Elektrizittslehre
$59.99
Language Teaching in the Linguistic Landscape
$139.99
Computing and Combinatorics
$39.99
Contamination Control and Cleanrooms
$84.99
The Demands of Motherhood
$54.99
Revision Cognitive and Instructional Processes
$129.00
Best Practices in Geotechnical and Pavement Engineering
$219.99
The County Diagnostic
$54.99
A Science Comic of Urban Metro Structure
$32.99
Performance Evaluation and Benchmarking: Traditional to Big Data to Internet of Things
$54.99
Accelerating Development Velocity Using Docker
$32.99
Dementia Care
$169.99
Mechanik
$59.99
Chemical Waves and Patterns
$169.00
The Description of Egypt from Napoleon to Champollion
$139.99
