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 refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013. The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections such as program verfication, security, formalization of mathematics and theorem prover development.
Reviews
Questions & Answers
Nonlinear Analysis of Thin-Walled Structures
$54.99
Pattern Recognition
$64.99
Climate Change Impacts on Hydrological Processes and Sediment Dynamics: Measurement, Modelling and
$169.99
School Inspectors
$129.99
Verschleiuntersuchungen beim Wlzstoen von Geradverzahnungen
$79.99
Concepts of Fuzzy Mathematics
$79.99
Disposition mit Arbeits- und Vertriebsvorbereitung in der Tuch- und Kleiderstoffindustrie
$59.99
Food Packaging Materials
$59.99
Die Wohlfahrtseinrichtungen von Gro-Berlin
$59.99
Institutions and Political Change in Russia
$54.99
External Governance as Security Community Building
$54.99
Evaluating Fetal Alcohol Spectrum Disorders in the Forensic Context
$179.99
Bildungslandschaften
$44.99
Heart and Head
$54.99
Personalbeurteilung
$69.95
Nachhaltige Energieversorgung: Hemmnisse, Mglichkeiten und Einschrnkungen
$69.99
Engaging with Spirituality in Family Therapy
$54.99
Coherence in the Midst of Complexity
$109.99
Mnnliche Homosexualitt
$84.99
Human-Friendly Robotics 2021
$149.00
Marke und Mythos
$24.99
Digitale Chancen in der huslichen Pflege nutzen
$39.99
Tight Junctions in Cancer Metastasis
$169.99
Kung Pow Chicken: The Birdy Snatchers
$5.24
Hartmann von Aue
$19.99
Stahlfaserbeton
$54.99
Object Management in Distributed Database Systems for Stationary and Mobile Computing Environments
$84.99
Verhalten von Kohlenstoffsteinen im Hochofen
$59.99
Imagining India
$129.00
Caspases,Paracaspases, and Metacaspases
$84.99
It Came in the Mail
$6.71
Radio Engineering and Telecommunications Waveguide Systems in the Microwave Range
$139.00
Literaturpreise
$64.99
Modular Forms
$159.99
Globalization and National Economic Welfare
$42.00
Digital Phase Lock Loops
$169.99
Emergenzen auf der Stufe des Lebendigen
$59.99
Urban Biodiversity and Built Environment
$169.99
The Self-Conscious, Thinking Subject
$139.99
From Memories to Mental Illness
$39.99
