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
Provable Security
$39.99
Ist es alles nur die Krankheit?
$20.00
ApoB in Clinical Care
$69.99
Mehrebenenanalyse
$39.99
Mathematical Software ICMS 2016
$54.99
Rural Resources and Local Livelihoods in Africa
$54.99
Neuronal Noise
$219.99
Das Becken
$69.99
International Union of Pharmacology
$84.99
Emotionale Intelligenz und soziales Funktionsniveau bei bipolaren Strungen
$59.99
Integrated Design and Manufacturing in Mechanical Engineering
$219.99
Handel an Regelenergie- und Spotmrkten
$79.99
New Frontiers in Stress Management for Durable Agriculture
$219.99
Parametric Experiments in Architecture
$54.99
Principal Symbol Calculus on Contact Manifolds
$54.99
Up in the Air
$3.71
Topological Interactions in Ring Polymers
$109.99
The Determinants of National Saving and Wealth
$169.99
Business Information Systems Workshops
$39.99
Recent Advances in Intrusion Detection
$54.99
The Re-Emergence of Global Finance
$84.99
Ambit Stochastics
$109.00
Oracle WebLogic Server 12c Administration I Exam 1Z0-133
$79.99
Die Scherfestigkeit von Schluff
$49.99
AI 2017: Advances in Artificial Intelligence
$54.99
Privacy Technologies and Policy
$54.99
Can Pay Be Strategic?
$109.99
Anti-Communist Minorities in the U.S
$54.99
Aufschaukelung und Dmpfung von Schwingungen
$59.99
Adaptive Feed-Forward Control of Low Frequency Interior Noise
$129.00
Lessons on Profiting from Diversity
$109.99
Ready-To-Go 100 Book Classroom Library: Nonfiction, Grade 7
$629.00
Proceedings of the 8th European Congress of Neurosurgery, Barcelona, September 611, 1987
$39.99
The Road to Wicked
$99.99
Principles of Molecular Pathology
$169.99
Adam Smith in Toulouse and Occitania
$119.99
Empire, Humanism and Rights
$129.00
Celebrating Our Cuentos (30-copy pack)
$787.20
Muslims, Money, and Democracy in Turkey
$109.99
Foundations of Information and Knowledge Systems
$54.99
