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 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.
Reviews
Questions & Answers
Collaborative Systems for Production Management
$169.00
Towards a Strategic Management and Decision Technology
$39.99
Innovations in Technologies for Fermented Food and Beverage Industries
$189.00
Maritime Cross-Border Insolvency
$129.99
Computer Music Modeling and Retrieval
$54.99
Neoclassical Theory Structure and Theory Development
$109.99
Kostenrechnung und Kostenmanagement
$54.99
Yo, Naomi Len
$6.74
Pro DLR in .NET 4
$54.99
How Autocrats Rise
$129.99
iRODS Primer
$19.99
Advances in VLSI and Embedded Systems
$169.99
I Am a Dragon!
$5.96
The Plant Stem
$59.99
Robots and Lattice Automata
$109.99
Playing The Cards You're Dealt (Hardcover)
$12.74
The Origin and Dynamics of Solar Magnetism
$109.99
The Upside of Unrequited by Becky Albertalli
$10.99
Lebensqualitt aus Nutzersicht
$59.99
Stochastic Interacting Systems: Contact, Voter and Exclusion Processes
$119.99
Model Validation and Uncertainty Quantification, Volume 3
$169.00
Advances in Nonlinear Analysis via the Concept of Measure of Noncompactness
$109.99
A History of Franco-German Relations in Europe
$109.99
Business Intelligence
$84.99
Law and Practice of Crowdfunding and Peer-to-Peer Lending in Australia, China and Japan
$139.99
International Trade Theory in a Developing World
$219.99
Vertikale Integration oder Kooperation?
$74.99
Evolving Rule-Based Models
$109.99
Argumentation Machines
$169.99
Benutzermodellierung in Dialogsystemen
$69.99
Die Exzellenzinitiative
$49.99
Combination Vaccines
$129.00
Genetic and Molecular Epidemiology of Multiple Myeloma
$169.99
Technik und Interaktion
$59.99
Locating Urban Conflicts
$99.00
I, Fly
$5.96
PET/CT in Cancer of Unknown Primary
$54.99
Exzellenz im Dienstleistungsmarketing
$49.99
Polymeric and Natural Composites
$169.00
Trigger Factors in Transfusion Medicine
$169.99
