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
Deterministic Nonlinear Systems
$54.99
What Women Want From Work
$54.99
Modelling Hot Deformation of Steels
$39.99
Personal Responsibility and the Law of Nations
$54.99
Integration von Migranten
$64.99
Nanoscale Spectroscopy and Its Applications to Semiconductor Research
$109.99
Riemann Surfaces
$109.99
The Little School Bus
$3.71
Zur Aktualitt von Max Weber
$19.99
Diabetes und Schwangerschaft
$89.00
The Ocean is Kind of a Big Deal (Hardcover)
$14.24
Europe: One Continent, Different Worlds
$54.99
Advances in Conceptual Modeling
$54.99
Active Rules in Database Systems
$129.00
Sustainable Freight Transport
$129.00
The generation of high magnetic fields
$109.00
Practical Domain-Driven Design in Enterprise Java
$44.99
Teaching Thermodynamics
$39.99
Richtwerte fr das Auenrund-Lngs- und Einstechschleifen
$59.99
Distributed Memory Computing
$74.99
Dav Pilkey Collection Grades 2-5
$65.00
Nursing Management of Womens Health
$69.99
PET/CT for Inflammatory Diseases
$199.99
Capitalism and Climate Change
$54.99
Open Quantum Systems
$119.99
In Defense of Deflation
$89.00
Urban Bats
$69.99
Kraftfahrtversicherung
$59.99
Astrophysics
$54.99
Chinese Investment in Africa
$129.99
Altern Schicksal oder Krankheit?
$54.99
Around and Beyond the Square of Opposition
$54.99
Die Deutsche Volkswirthschaft und der Weltmarkt
$54.99
Whatever After Special Edition: Abby in Wonderland (#1)
$5.99
Introduction to Discrete Mathematics via Logic and Proof
$59.99
Decision Models in Engineering and Management
$109.99
The Great Pancake Race
$4.49
Dance Leadership
$129.99
Bioregional Planning and Design: Volume I
$179.99
Quakers, Business and Corporate Responsibility
$109.99
