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 proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.
Reviews
Questions & Answers
Just Like Being There
$32.99
The Resurgence of Parish Council Powers in England
$49.99
Agile Information Business
$84.99
Die urologischen Komplikationen des Collum-Carcinoms
$59.99
Love and Revolution in the Twentieth-Century Colonial and Postcolonial World
$169.99
Transactions on Aspect-Oriented Software Development X
$39.99
Aktuelle Steroidprobleme
$59.99
Grundlagen und neue Perspektiven des Luxustourismus
$49.99
Crystalline Electric Field Effects in f-Electron Magnetism
$84.99
Secularism and Religion in Multi-faith Societies
$54.99
Intelligent Spaces
$109.99
Language Structure, Variation and Change
$99.99
Essential PHP fast
$54.99
Producing Bias-Free Policing
$44.99
Strategische Informationsplanung
$44.99
Combinatorial Image Analysis
$54.99
A Quantitative Liquidity Model for Banks
$39.99
Culture and Conflict in Postwar Italy
$49.99
Activity-Based Protein Profiling
$159.99
Nutzerorientierte Bedarfsplanung
$84.99
Pattern Recognition. ICPR International Workshops and Challenges
$109.99
Introduction to Financial Forecasting in Investment Analysis
$109.99
Horizons in Bioprocess Engineering
$109.99
Advances in Perinatal Medicine
$109.99
Mathematics in Geology
$39.99
Transkulturelle Genderforschung
$39.99
Commodification of Body Parts in the Global South
$54.99
My Books Every Day Challenges & Solutions Grade 4 Student & Family Pack
$36.95
Statistical Properties of Undulator Radiation
$179.99
Probability for Physicists
$39.99
Bottom Gravity Currents and Overflows in Deep Channels of the Atlantic Ocean
$169.99
The Plant Endoplasmic Reticulum
$109.99
The Evolving Psyche of Law in Europe
$109.00
Regional Geology of Africa
$89.00
The Theory of the Top. Volume II
$119.00
Reactive Oxygen Species and Antioxidant Systems in Plants: Role and Regulation under Abiotic Stress
$129.00
Modern Economic Development in Japan and China
$54.99
Leitfaden fr Vorlesungen aus dem Gebiete der Ertragsregelung
$59.99
Psychotherapie Ratgeber
$34.99
Essentials of Menopause Management
$159.99
