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
Ankylosing spondylitis and Klebsiella
$199.99
Saint Paul and the Education Encounter
$119.00
Observing our Changing Earth
$219.99
Education as Civic Engagement
$54.99
Grundriss der Physikalischen Therapie und Rehabilitation der Bewegungsapparates
$49.99
Online Content Syndication
$79.99
Medienaneignung von Jugendlichen aus deutschen und trkischen Familien
$29.99
Deformations of Solids: Physical Basis and Mathematical Modelling
$39.99
Investigators: Survival: Safety in Numbers
$4.46
The Nature and Function of Intuitive Thought and Decision Making
$39.99
Protein Toxins in Modeling Biochemistry
$39.99
Politik zwischen Innovation und Machbarkeit
$79.99
Orthopedic Nuclear Medicine
$84.99
Basic and Applied Aspects of Seed Biology
$429.00
Fashion and Authorship
$99.00
Recent Developments in Commutative Algebra
$39.99
Comprehensive Teacher Induction
$54.99
Communications and Networking
$54.99
Wissenschaftsphilosophie
$17.99
Media Resistance
$31.00
Grner Materialismus
$69.99
Nomadische Bewegungen und die Symbolik der Krise
$49.99
Modeling Methods for Medical Systems Biology
$159.99
One Legacy of Paul F. Brandwein
$129.00
Informatik Eine grundlegende Einfhrung
$39.99
Die Ausntzung der Leinengarne in Geweben
$59.99
Spinal Cord Tumors
$179.99
Risiko Energiewende
$19.99
Artifacts, Representations and Social Practice
$39.99
Liquid Crystals and Ordered Fluids
$84.99
Bildverarbeitung fr Einsteiger
$59.99
Die Entwicklungsgemeinschaft des Sdlichen Afrika (SADC) und die Europische Union (EU)
$69.99
Women Leaders in School Psychology
$169.99
Organisation, Communication and Language
$159.99
bungen aus der Mechanik
$59.99
The Spiritual Dynamic in Modern Art
$109.00
Entdecken und Verraten
$29.99
Allocating Public and Private Resources across Generations
$109.99
Advances on P2P, Parallel, Grid, Cloud and Internet Computing
$219.99
Diagnostic Competence of Mathematics Teachers
$109.99
