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 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
Non-Performing Loans and Resolving Private Sector Insolvency
$169.99
Biophysics of Skin and Its Treatments
$84.99
Algebraic-Geometric Codes
$109.99
Die Werbung in der Versicherungswirtschaft
$54.99
Geschichte der Gesellschaft Deutscher Naturforscher und rzte
$59.99
Soil Geography of the USA
$169.99
Reviews of Environmental Contamination and Toxicology Volume 243
$89.00
The Inner World of Gatekeeping in Scholarly Publication
$109.99
Writings on Physics and Philosophy
$89.99
Image-guided Laser Ablation
$89.99
Data Management for Mobile Computing
$169.00
Hochleistungskessel
$59.99
Operations Research Proceedings 2018
$169.99
James Buchanan
$84.99
Alternativen der kommunalen Wasserversorgung und Abwasserentsorgung AKWA 2100
$79.99
Arachidonate Remodeling and Inflammation
$109.99
Drachenflug
$59.99
IUTAM Symposium on Geometry and Statistics of Turbulence
$169.99
Literaturgesellschaft DDR
$39.99
Initial Airworthiness
$119.00
Television, Memory and Nostalgia
$54.99
Strafrecht in Film und Fernsehen
$44.99
Pesticide Resistance in Arthropods
$84.99
Pulmonary Pathology Tumors
$84.99
CAM-Handbuch
$44.99
Select Collection 3: Ages 18-24 Months
$99.25
Artificial Intelligence and Simulation
$109.99
Microbial Symbionts and Plant Health: Trends and Applications for Changing Climate
$219.99
Kundenindividuelle Massenproduktion
$89.99
Authoritarian Neoliberalism and Resistance in Turkey
$59.99
Public Relations Capitalism
$54.99
Heterochrony in Evolution
$219.99
Here Come the Girl Scouts! (Hardcover)
$14.24
Social Memory and War Narratives
$54.99
Computergesttztes Lernen und Teledienste
$49.99
Hassrede und Freiheit der Meinungsuerung
$129.99
Belonging in Brixton
$54.99
Advances in Comparative and Environmental Physiology
$109.99
Dissecting the Criminal Corpse
$31.00
Medieval Formal Logic
$109.99
