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
FairEconomy
$109.99
Structural Immunology
$119.00
Marine Biotechnology II
$259.00
Bioreaktionen
$69.99
Solder Paste in Electronics Packaging
$39.99
Asylum and Belonging through Collective Playwriting
$99.00
Language Processing and Knowledge in the Web
$49.99
Business-Kultur in China
$17.99
Isolation and Language Change
$84.99
Dental Hard Tissues and Bonding
$179.99
Expenditure on Fixed Assets
$74.99
The Unedited
$27.99
Microlocal Analysis and Spectral Theory
$39.99
Traditional Family Values and Substance Abuse
$109.99
Methoden in der Proteinanalytik
$149.99
Ratgeber fr Arbeitnehmererfinder
$59.99
Premature Ejaculation
$169.99
Smart Trends in Information Technology and Computer Communications
$109.99
Chain-Scattering Approach to HControl
$39.99
New Aspects in Regional Anesthesia 4
$109.99
Solar Journey: The Significance of Our Galactic Environment for the Heliosphere and Earth
$169.99
Lipid-Protein Interactions
$139.00
Queer Theory and Psychology
$129.99
Quantitative Evaluation of the Whole Petroleum System
$179.99
Virtuelle Prototypen fr Lamellenventile in Pkw-Kltemittelverdichtern
$39.99
Kundenrckgewinnungsmanagement im stationren Einzelhandel
$74.99
Herz und Kreislauf 6
$74.99
Artenvielfalt im naturbelassenen Garten
$19.99
Harnessing Performance Variability in Embedded and High-performance Many/Multi-core Platforms
$84.99
Vlkerstrafrechtspolitik
$99.99
Pichia Protocols
$84.99
Management auf Zeit in Deutschland
$59.99
Bisphosphonates in Clinical Oncology
$84.99
Applied OSS Reliability Assessment Modeling, AI and Tools
$69.99
Handbuch Tierethik
$119.99
Diabetes and Viruses
$129.00
Psychologische Vorlesungen
$59.99
Neue Techniken Fusschirurgie
$59.99
Grab and Go Pack Theme 2: Social-Emotional Development Kindergarten
$29.95
Asian and Pacific Cosmopolitans
$109.99
