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 thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ, USA, in August 2012. The 21 revised full papers presented together with 4 rough diamond papers, 3 invited talks, and one invited tutorial were carefully reviewed and selected from 40 submissions. Among the topics covered are formalization of mathematics; program abstraction and logics; data structures and synthesis; security; (non-)termination and automata; program verification; theorem prover development; reasoning about program execution; and prover infrastructure and modeling styles.
Reviews
Questions & Answers
Elizabeti's Doll (Hardcover)
$17.95
The Comparative Roles of Suspension-Feeders in Ecosystems
$169.99
Magic Tree House: #13 Vacation Under the Volcano
$5.21
Neurointervention in the Medical Specialties
$169.99
Peptide Hybrid Polymers
$169.00
Higher Education for and beyond the Sustainable Development Goals
$129.99
Gestaltung von Lieferbeziehungen bei Informationsasymmetrie
$59.99
Dynamics and Control of Structures
$54.99
Reading Sensations in Early Modern England
$54.99
Justin Trudeau and Canadian Foreign Policy
$49.99
Sustainable Development of Rice and Water Resources in Mainland Southeast Asia and Mekong River Basi
$109.99
Spatial Uncertainty in Ecology
$54.99
Orchid Species from Himalaya and Southeast Asia Vol. 1 (A - E)
$249.99
Konstruktion fr die Additive Fertigung 2019
$109.00
Engaging Men in the Fight against Gender Violence
$39.99
Myokarderkrankungen Perikarderkrankungen Herztumoren
$79.99
Part 1: H2O (HOH), Part : D216O (D16OD), D217O (D17OD), D218O (D18OD), T216O (T16OT), T218O (T18OT)
$549.99
The Language of Belonging
$109.99
Social Business Models in the Digital Economy
$159.99
Pro ASP.NET VB 2010
$39.99
Der Medien-Proze
$69.99
Multimodal Pattern Recognition of Social Signals in Human-Computer-Interaction
$39.99
Erkenntnis und Methode
$59.99
Nuclear Power Plants: Innovative Technologies for Instrumentation and Control Systems
$129.00
Fly Guy's Amazing Tricks (Fly Guy #14)
$3.71
Migraine Surgery
$139.99
Affect and Mathematics Education
$59.99
Beitrge zur Unternehmensplanung
$59.99
Die betriebliche Anpassung als Problem des betrieblichen Rechnungswesens
$59.99
Advances in Data Science
$139.99
And Yet It Is Heard
$129.00
Niederspannungs-Leistungsschalter
$64.99
Effective Collaboration
$109.99
3D Multiscale Physiological Human
$109.99
Logistik der Zukunft
$54.99
Scientific and Technological Advances in Materials for Energy Storage and Conversions
$199.99
Handling and Management of Hazardous Materials and Waste
$74.99
Statistical Modeling for Biological Systems
$129.99
Combinatorics, Graph Theory and Computing
$199.99
Negotiating Masculinity and Identity as a Jewish British Male
$139.99
