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
Indigenous Media and Popular Culture in the Philippines
$159.99
Ionic Polymer Metal Composites for Sensors and Actuators
$169.99
Autonomic Principles of IP Operations and Management
$54.99
Violence and Psychopathy
$169.99
Vergtungsanreize und opportunistische Bilanzpolitik
$59.99
The Ruins of Gorlan Ranger's Apprentice Series 1 by John Flanagan
$9.99
Advances in Mathematical Methods and High Performance Computing
$159.99
Dynamic Data Analysis
$169.99
Mobile Broadband
$89.00
Die klassische Moderne
$39.99
Cybersecurity Investments
$54.99
Soviet Researches on Luminescence
$39.99
Fundamentals of Mathematical Evolutionary Genetics
$39.99
The Influence of National Competition Policy on the International Competitiveness of Nations
$109.99
Generationenwechsel im Mittelstand
$17.99
Laurence Sterne and the Argument about Design
$109.99
Information and Communication Technology for Intelligent Systems
$169.00
Laparoscopic Surgery
$169.99
Subaltern Ethics in Contemporary Scottish and Irish Literature
$54.99
Geographies of the Romantic North
$39.99
Ethnic Conflicts and the Nation-State
$109.99
High Performance Computing - HiPC 2006
$109.99
Physik und Technik der Hrte und Weiche
$59.99
Rechtspolitische und Rechtsvergleichende Beitrge zum Zivilprozessualen Beweisrecht
$59.99
Video Atlas of Intraoperative Applications of Near Infrared Fluorescence Imaging
$109.99
Betriebswirtschaftliche Hochschulausbildung
$59.99
Vitalismus und Pathologie
$59.99
Literature of Mysticism in Western Tradition
$109.99
Lanczos Algorithms for Symmetric Eigenvalue Computations Vol. I Theory
$54.99
Cardiac-Vascular Remodeling and Functional Interaction
$54.99
A Comparative History of Commerce and Industry, Volume I
$109.99
Movement Disorder Emergencies
$99.00
Der Kompass der CDU
$84.99
Finanzvertrge und Finanzintermediation
$44.99
Enterprise Governance of Information Technology
$79.99
The Political Economy of Power
$109.99
The Theory of Crystal Structure Analysis
$54.99
Regionen, Mitgliedstaaten und Europische Union
$69.99
Advances in Psychology and Law
$109.99
