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
Mary, Will I Die? (Hardcover)
$14.24
Phonics Chapter Book - Level 1: Let's Go on a Museum Hunt
$6.74
Bean Thirteen
$4.46
Disney Frozen 2 Movie Theater Storybook & Movie Projector by Marilyn Easton
$19.99
Blockchain ICBC 2019
$54.99
Relativity, Astrophysics and Cosmology
$169.99
New Aspects of Nuclear Dynamics
$39.99
Nano and Micro Diamond Formation in Nature
$49.99
Contagion and the Vampire
$44.99
My Books Summer Spanish Grade 3 Fiction/Nonfiction 10-Book Bundle
$49.95
Verbmobil: Foundations of Speech-to-Speech Translation
$169.99
Power, Culture and Situated Research Methodology
$59.99
Finite Element and Discontinuous Galerkin Methods for Transient Wave Equations
$129.99
Non-Functional Requirements in Software Engineering
$469.00
Indianische Lokalkultur und gesellschaftlicher Wandel in Mexiko
$59.99
Language and Language-in-Education Planning in the Pacific Basin
$109.99
Advances in Evolutionary Computing
$129.00
Geospatial Analysis of Environmental Health
$129.00
Ultrafast Biophotonics
$109.99
Erfolgsstrategien fr Automobilzulieferer
$49.99
Network Control and Optimization
$39.99
Asia Pacific Business Process Management
$39.99
Integrated Reaction and Separation Operations
$84.99
Pearl and Squirrel Give Thanks
$4.46
Pro Deep Learning with TensorFlow
$54.99
Desire in the Age of Robots and AI
$69.99
Arbeiten aus dem Pharmazeutischen Institut der Universitt Berlin
$39.99
Artificial Neural Networks for Modelling and Control of Non-Linear Systems
$169.99
Dialogue and Technology: Art and Knowledge
$54.99
Mental Representation in Health and Illness
$84.99
Flexible and Efficient Information Handling
$54.99
Adaptation to Climate Change and Sea Level Rise
$54.99
Strict Finitism and the Logic of Mathematical Applications
$84.99
Concise Guide to Numerical Algorithmics
$54.99
Environmental Challenges in Civil Engineering
$199.99
Der Kulturbund in der SBZ und in der DDR
$149.99
The Road from Los Alamos
$49.99
Edge Computing EDGE 2022
$59.99
Farewell to the Internal Clock
$54.99
Der Einstieg ins ko-Audit fr mittelstndische Betriebe
$69.99
