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
The Little Black Book of Neuropsychology
$129.99
Green Infrastructure
$169.99
New Life Of Charlotte Bronte
$24.99
Die Beseitigung der beim Tauch- und Spritzlackieren entstehenden Dmpfe
$59.99
Quantitative Methods in Morphology / Quantitative Methoden in der Morphologie
$39.99
Object-Oriented ActionScript 3.0
$49.99
Tween Girls' Dressing and Young Femininity in Singapore
$109.99
Gordon Parks
$6.71
Art, Trade, and Cultural Mediation in Asia, 16001950
$59.99
Opilioacarida
$54.99
Formal Methods: Foundations and Applications
$59.99
On a Method of Multiprogramming
$169.99
Transducers and Arrays for Underwater Sound
$159.99
New Physical Trends in Experimental Mechanics
$54.99
The Development of China's Transportation Industry (1978-2018)
$199.99
Tiefe Hirnstimulation: Ein Ratgeber fr Betroffene bei Morbus Parkinson
$39.99
Biological Effects and Dosimetry of Nonionizing Radiation
$84.99
Die Klinik der Beginnenden Tuberkulose Erwachsener
$59.99
Ueber alimentre Herzmuskelverfettung
$54.99
Teaching Mathematical Reasoning in Secondary School Classrooms
$39.99
Feldspar Minerals
$129.00
Econometrics of Financial High-Frequency Data
$149.00
Pipeline Inspection and Health Monitoring Technology
$199.99
National Security and Investment Controls
$159.99
Netherlands Yearbook of International Law - 2009
$109.99
Proceedings of the 4th International Symposium on Materials and Sustainable Development
$169.00
Whrungsprobleme der EWG / Die Ausnutzung eines gesamtwirtschaftlichen Prognosesystems fr wirtschaf
$59.99
Nature Stories: Little Pumpkin
$4.46
Das mit dem Chemischen finde ich nicht so wichtig
$69.99
Kultur-Soziologie
$44.99
UniVision 2020
$37.99
European Retail Research
$54.99
Positioning Gender and Race in (Post)colonial Plantation Space
$54.99
Applied Theatre and Sexual Health Communication
$39.99
Discovering Life, Manufacturing Life
$169.99
There Was an Old Lady: Un da una seora se trag una rana!
$3.74
Drifting on Alien Winds
$34.99
Finite Quantum Electrodynamics
$39.99
Practical Aspects of Design Science
$39.99
Book of the Dead (Hardcover)
$9.74
