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
Molecular Properties via Induced Current Densities
$129.99
Structural Information and Communication Complexity
$109.99
Der Roman im 20. Jahrhundert
$17.99
Perspectives in Modern Chemical Spectroscopy
$54.99
Diagnosis and Management of Cholangiocarcinoma
$169.99
Teaching and Learning in a Digital World
$329.99
PostScript
$59.99
Queer Lyrics
$54.99
Global Perspectives on Higher Education
$179.99
Handbuch Familiensoziologie
$139.99
Women Political Leaders
$39.99
Wirkung nach Plan
$59.99
Proceedings of International Conference on Computational Intelligence and Emerging Power System
$249.99
Arbeiten und gesund bleiben
$17.99
Ocular Oncology
$129.99
Towards a New Dharma of Peace Building
$119.00
Lehrerinnen in System und Lebenswelt
$59.99
Kazimierz Opaek Selected Papers in Legal Philosophy
$169.99
Inclusive Access and Open Educational Resources E-text Programs in Higher Education
$109.99
Cracking Facebook
$39.99
Digital Coherent Optical Systems
$99.99
Decision Support for Natural Disasters and Intentional Threats to Water Security
$169.99
Distributed Network Structure Estimation Using Consensus Methods
$44.99
Topics in Cryptology CT-RSA 2020
$39.99
One Money for Europe
$39.99
Psychologische Gutachten schreiben und beurteilen
$54.99
Audit Defense
$54.99
Health Justice in India
$169.99
Fields, Symmetries, and Quarks
$54.99
Tumor Microenvironment
$169.99
Innovative Unternehmensgrndungen in Deutschland und den USA
$59.99
Innovative Leadership in Times of Compelling Changes
$199.99
Sharing Grades PreK-K
$38.00
Petroleum Geoscience
$159.99
Windows by Patrick Guest
$16.99
Engineering Geology for Society and Territory - Volume 8
$219.99
Die organisierte Hand des Marktes
$54.99
Regelungstopologie fr R-744-Wrmepumpen in Kraftfahrzeugen
$59.99
The Political Economy of Government Regulation
$39.99
What Happens to People in a Competitive Society
$84.99
