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
Building American Public Health
$39.99
An Introduction to Piecewise Smooth Dynamics
$19.99
Abenteuer Mathematik
$24.99
Naturalizing Epistemology
$54.99
Integrale Sicherheit von Kraftfahrzeugen
$99.99
Communications and Multimedia Security
$169.99
Opportunities for Biological Nitrogen Fixation in Rice and Other Non-Legumes
$169.99
Molecular Insect Science
$219.99
Crowd Simulation
$89.00
Work Analysis in the Knowledge Economy
$44.99
Sympathico-adrenerge Stimulation und Lungenvernderungen
$69.99
Institutionelle Immobilieninvestments in Zeiten von Covid-19
$24.99
Women and the Natural Sciences in Edwardian Britain
$129.99
Intelligent Transport Systems
$84.99
Consumer Happiness: Multiple Perspectives
$199.99
Elektro-Fachkunde 2
$49.99
The COVID-19 Aftermath
$169.00
UnBlock the Blockchain
$159.99
ber das Unterwasserkraftwerk
$64.99
Intelligence in the Era of Big Data
$54.99
Theory and Practice of CO2 Utilization in Steelmaking
$169.99
Globalisierung
$19.99
Perspektiven wissenssoziologischer Diskursforschung
$59.99
Frontiers in Games and Dynamic Games
$69.99
Kinder und Jugendliche in Armut
$54.99
INNC 90 PARIS
$54.99
Management Education in the Network Economy
$84.99
Kriegsaphorismen eines Dermatologen
$74.99
Technology Education for Teachers
$49.99
Kulturelle Grundlagen der Medialisierung in Sdkorea
$59.99
Untersuchung und Nachweis Organischer Farbstoffe auf Spektroskopischem Wege
$59.99
Sustainable Nutrition in a Changing World
$199.99
SOC Design Methodologies
$169.00
Advances in Cryptology CRYPTO 2024
$79.99
Biological Response Modifiers Interferons, Double-Stranded RNA and 2,5-Oligoadenylates
$109.99
The Second Crusade and the Cistercians
$109.99
Personalwirtschaft
$59.99
Managing China's Sovereignty in Hong Kong and Taiwan
$39.99
Sozial- und Lebenslageanalyse der Alterskohorte Junge Alte
$59.99
Algebra
$39.99
