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
Platformization and Informality
$139.99
China's Rural Industrialization Policy
$84.99
Truck
$6.71
Finite Elemente Modelle der Maschinenelemente
$59.99
Unconventional Resources in India: The Way Ahead
$54.99
Fundamentals of Information Systems
$109.99
Progresses in European Earthquake Engineering and Seismology
$279.99
Cooperative Design, Visualization, and Engineering
$39.99
Problems and Methods of Optimal Structural Design
$39.99
Managing Knowledge Workers
$54.99
Generalized Collocation Methods
$54.99
Remote Sensing of Northwest Himalayan Ecosystems
$199.99
The Science and Practice of Resilience
$169.99
Uncertain Decisions
$129.00
Technique of Internal Fixation of Fractures
$54.99
Recent Advances in Biological Psychiatry
$39.99
Contemporary Sustainable Organisational Practices
$199.99
What a Wonderful World
$4.46
Quantum Mechanics
$119.00
Data-driven Methods for Fault Detection and Diagnosis in Chemical Processes
$109.99
Global Risk Premia on International Investments
$49.99
Der tolle Herzog
$59.99
Democratization in Russia under Gorbachev, 198591
$109.99
Image Analysis and Recognition
$99.99
Futuristic Composites
$109.99
Geomorphological Fluid Mechanics
$84.99
Voting Procedures Under a Restricted Domain
$54.99
Handbook of Phenomenology and Medicine
$219.99
Signal Transduction Immunohistochemistry
$159.99
An Essay on Strategy
$44.99
Asymptotische Statistik
$69.95
Versicherungsmarketing
$59.99
Global Change and River Ecosystems - Implications for Structure, Function and Ecosystem Services
$169.99
Theory of Light Scattering in Condensed Matter
$39.99
Deutsch als Zweitsprache frdern
$44.99
Fethullah Glens Teaching and Practice
$49.99
Kommunikations-Endgerte
$59.99
Geomorphic Risk Reduction Using Geospatial Methods and Tools
$129.00
Lidar
$219.00
Transnationale Medienlandschaften
$59.99
