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 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 35 papers presented in this volume were carefully reviewed and selected from 59 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.
Reviews
Questions & Answers
Autism, Pedagogy and Education
$69.99
Advances in Interdisciplinary Engineering
$169.99
Perspectives in Quantum Chemistry
$39.99
Applications of Declarative Programming and Knowledge Management
$39.99
Cyber-Physical Systems: Design and Application for Industry 4.0
$199.99
Valuing Agroforestry Systems
$219.99
Handbuch psycho-soziale Gestaltung digitaler Produktionsarbeit
$64.99
Flexibility and Adjustment to Information in Sequential Decision Problems
$54.99
Circularly Polarized Luminescence of Isolated Organic Molecules
$169.99
Die Effektivitt der Telekommunikationsregulierung in Europa
$44.99
Values Deliberation and Collective Action
$54.99
Imaging Atlas of Ophthalmic Tumors and Diseases
$279.99
Surface Science Tools for Nanomaterials Characterization
$329.99
RNA Sequence, Structure, and Function: Computational and Bioinformatic Methods
$219.99
Untersuchungen von Reinheitssytemen zur Herstellung von Halbleiterprodukten
$79.99
Scholastic Reader! Science Level 1-I Am: I Am a Leaf
$2.99
Bioorganic Chemistry
$39.99
Bioplastics for Sustainable Development
$219.00
Handbook of Fullerene Science and Technology
$599.99
Arbeitsbuch: Kleinkindererziehung
$59.99
Grundzge der Nichtlinearen Optimierung
$14.99
Cultivating Genius (10-copy pack)
$269.90
Larger Carnivores of the African Savannas
$39.99
Essentials of Sleep Medicine
$129.00
Standort-Marketing und Event-Management
$69.99
Biologically-Inspired Collaborative Computing
$109.99
Meelektronik in der Kernphysik
$59.99
Hip and Groin Pain in the Athlete
$109.99
Steroid-Protein Interactions
$84.99
Fly Guy Presents: Castles
$4.49
E-Learning, E-Education, and Online Training
$39.99
Media Representations of Macaus Gaming Industry in Greater China
$119.99
The Politics of Economic Liberalization
$54.99
Evolutionary Theory and Human Nature
$109.99
Marine Oil and Gas Exploration in China
$169.99
Transnationalism and German-Language Literature in the Twenty-First Century
$119.99
Flat Manifolds
$29.99
Die Simulation optimaler Priorittsregeln fr die Ablaufplanung in der Werkstattfertigung
$64.99
Imaging of Bowel, Colon and Rectum
$39.99
Graded and Filtered Rings and Modules
$29.99
