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
Collected Works of Domenico Mario Nuti, Volume II
$179.99
Markov Processes for Stochastic Modeling
$54.99
Jews and the Left
$109.99
Nonequilibrium Phonon Dynamics
$39.99
Placental Function Tests
$54.99
Heroinen in der Geschlechterordnung
$39.99
Life Cycle Assessment of Energy Systems and Sustainable Energy Technologies
$119.99
Ceramics in Severe Environments
$39.99
Issues in African Education
$39.99
Lehrbuch der Psychiatrie
$84.99
The Economics of Immigration Beyond the Cities
$139.99
Democratic Institutions of Undemocratic Individuals
$54.99
The Feminist Fourth Wave
$129.99
Adaptronics Smart Structures and Materials
$109.99
Computer Safety, Reliability, and Security
$39.99
Ethnicity, Identity and Faith in the Current Migratory Crisis
$119.00
Strategic Management of Professional Service Firms
$79.99
Family Business Governance
$74.99
Wettbewerbsrecht
$29.99
Vladimir Nabokov
$39.99
Organic Chemistry and Theory
$84.99
New Technologies, Development and Application IV
$259.00
Predicting Stock Returns
$64.99
Advances in Cryptology CRYPTO 2023
$99.00
The Palgrave Literary Dictionary of Chaucer
$84.99
Von der Mahnung bis zur Zwangsvollstreckung
$59.99
Quality Management for Services
$89.00
Histone Variants
$199.99
The Care of the Uninsured in America
$39.99
Eigenschaftslosigkeit
$74.99
Evolutionary Games with Sociophysics
$139.99
Politikwissenschaft
$19.99
Metallothionein IV
$39.99
Sammlung der internationalen Vereinbarungen der Lnder der Bundesrepublik Deutschland
$69.99
The Role of Oxidative Stress in Neuronal Death
$84.99
14. Tagung der sterreichischen Gesellschaft fr Unfallchirurgie
$59.99
Innovative Trends in International Business and Sustainable Management
$169.99
The Evolution of the Political, Social and Economic Life of Cyprus, 1191-1950
$109.99
Clinical Applications of PCR
$109.99
