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 refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.
Reviews
Questions & Answers
Digital Transformation and Global Society
$54.99
Careers in Food Science: From Undergraduate to Professional
$139.99
Unternehmensreputation und Reputationsrisiken im Bankgeschft
$69.99
Konzepte zur Sicherheit in der Ansthesie
$59.99
Pharmacogenomics in Precision Medicine
$109.99
Vietnamese Language, Education and Change In and Outside Vietnam
$59.99
Theory of Martingales
$189.00
Organisationen in Bewegung bringen - Handlungsorientierte Methoden fr die Personal-, Team- und Orga
$54.99
Proceedings of the 23rd Pacific Basin Nuclear Conference, Volume 2
$299.99
Applied Multivariate Analysis in SAR and Environmental Studies
$84.99
The Ethics and Economics of the Capability Approach
$99.00
The Computer, the Writer and the Learner
$54.99
Praxis der Montagetechnik
$49.99
Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis
$99.99
Advances and Applications in Geospatial Technology and Earth Resources
$249.99
Schizosaccharomyces pombe
$249.99
Learn Lua for iOS Game Development
$44.99
Elektronen im Kristall
$59.99
Pediatric Gastrointestinal Disorders
$39.99
Capillary Electrophoresis of Proteins and Peptides
$129.00
Sigma Delta Modulators
$169.99
Metamathematische Methoden in der Geometrie
$64.99
Current Progress in the Understanding of Secondary Brain Damage from Trauma and Ischemia
$169.99
Handbuch Entrepreneurship
$69.99
ber Geld spricht man ..
$69.99
Interne Markenfhrung
$99.00
Lehrerkrisen im Berufsalltag
$59.99
Textbook of Microbiology and Immunology
$149.00
The Ascendant Organisation
$54.99
Neutrality and Statebuilding in Sweden
$109.99
Global Mobility of Highly Skilled People
$79.99
Explainable Artificial Intelligence in the Digital Sustainability Administration
$219.99
New Phenomena in Subnuclear Physics
$109.99
Gnomes in the Fog
$109.99
Erwerbsarbeit und Unterhaltswirtschaft
$54.99
Dirichlet Forms
$34.99
Regieren und intergouvernementale Beziehungen
$59.99
Self-Expandable Stents in the Gastrointestinal Tract
$219.99
Angewandte Psychologie fr das Projektmanagement. Ein Praxisbuch fr die erfolgreiche Projektleitung
$54.99
Unfallversicherung
$59.99
