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:
Buy Interactive Theorem Proving for $79.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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
|
|
$79.99 | $79.99 |
|
$79.99 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018. The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions. The papers feature research in the area of logical frameworks and interactive proof assistants. The topics include theoretical foundations and implementation aspects of the technology, as well as applications to verifying hardware and software systems to ensure their safety and security, and applications to the formal verication of mathematical results. Chapters 2, 10, 26, 29, 30 and 37 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Reviews
Questions & Answers
Inclusive Leadership
$179.99
Transitioning Children with Disabilities
$39.99
Mobile Kommunikation
$74.99
Advances in Smart Vehicular Technology, Transportation, Communication and Applications
$169.99
Optical Fiber Sensing and Structural Health Monitoring Technology
$84.99
Knowledge Engineering and the Semantic Web
$54.99
Microhistories of Technology
$59.99
Proceedings of the IV Advanced Ceramics and Applications Conference
$279.00
Structural Properties of Porous Materials and Powders Used in Different Fields of Science and Techno
$109.99
Iterative Learning Control
$129.00
Nasser at War
$109.99
Mathematik und Biologie
$59.99
Cervical Spinal Disorders
$54.99
Sustainability in Creative Industries
$169.00
Solving Ordinary Differential Equations I
$99.99
Proceedings of the International Conference on ISMAC in Computational Vision and Bio-Engineering 201
$44.99
Integrale Fhrung
$39.99
Die Ermittlung der Kegelrad-Abmessungen
$49.99
Die Mathe-Wichtel Band 1
$29.99
Solving Non-standard Packing Problems by Global Optimization and Heuristics
$54.99
Matter (A True Book: Physical Science)
$5.96
Datalog Reloaded
$39.99
Urban-Rural Transformation Geography
$179.99
Umgang mit psychisch erkrankten alten Menschen
$49.99
Spermatogonial Stem Cells
$199.99
Nervensystem
$59.99
Computertomographie des Kopfskeletts (Gesicht und Schdel)
$69.99
Philosophical and Methodological Debates in Public Health
$169.99
Trajectory Analysis in Health Care
$84.99
Mathematische Grundlagen der Quantenmechanik
$59.99
Accelerated Cosmic Expansion
$169.99
Long-Term Ecological Research
$129.00
Numerical Solutions of Realistic Nonlinear Phenomena
$169.99
Systems Representation of Global Climate Change Models
$39.99
Mathematikunterricht im Kontext von Inklusion
$49.99
Gesetzliches Insiderhandelsverbot
$59.99
Systematics and the Properties of the Lanthanides
$169.00
Signal Transduction by Reactive Oxygen and Nitrogen Species: Pathways and Chemical Principles
$129.00
Data and Text Processing for Health and Life Sciences
$159.99
Kundenorientierte Unternehmensfhrung
$74.99
