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
Computer Aided Engineering Design
$189.00
Phosphate Minerals
$109.99
Fractional Calculus for Scientists and Engineers
$109.99
Private Banking
$79.95
Hilbert Schemes of Zero-Dimensional Subschemes of Smooth Varieties
$39.99
Up in the Garden and Down in the Dirt
$5.96
Hughes Syndrome: Highways and Byways
$39.99
Paper-Based Medical Diagnostic Devices
$49.99
The B7-CD28 Family Molecules
$169.99
Forty Acres and Maybe a Mule
$5.96
Art and Business
$84.99
Technische Schwingungslehre
$49.99
Integrability and Nonintegrability in Geometry and Mechanics
$84.99
Graph Theory Applications to Deregulated Power Systems
$39.99
Leading Pharmaceutical Innovation
$89.99
Pearl S. Bucks Novels of China and America
$129.99
Chinas Belt and Road Initiative and the Triangle Great Game of Contemporary International Politics
$109.99
6th International Conference on Atomic Physics Proceedings
$84.99
Acoustics
$59.99
Illokutionre Krfte
$49.99
Youth, Training and the Training State
$54.99
Agile Office 365
$49.99
Qub al-Dn Shrz and the Configuration of the Heavens
$39.99
Evolutionary Computation in Combinatorial Optimization
$54.99
The Grapes of Math
$6.71
Value Construction in the Creative Economy
$169.99
Short-Term Psychodynamic Psychotherapy
$49.97
Grundzge der Neurokonomie
$17.99
MPEG-4 Beyond Conventional Video Coding
$19.99
The Father Who Walked on His Hands
$3.71
Reconstructing Organization
$129.99
The Politics and Perils of Space Exploration
$37.99
Ergotherapeutische Behandlungsanstze bei Demenz und Korsakow-Syndrom
$39.99
The Early Type Stars
$84.99
Maria Had A Little Llama / Mara tena una llamita
$3.74
The Underworld of Rural China
$139.99
Neopluralismus und institutionelle Gewaltenteilung
$59.99
Computer Animation and Simulation 2000
$109.99
My Books Summer Grade 2 Nonfiction - Classroom Set
$795.00
Safety Causation Analysis in Sociotechnical Systems: Advanced Models and Techniques
$229.99
