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
Operations Research Proceedings 2003
$169.99
Intrapreneurship
$39.99
Globalized Labour Markets and Social Inequality in Europe
$54.99
Technology, Transgenics and a Practical Moral Code
$84.99
Electronic Properties of High-Tc Superconductors
$129.00
Komplexitt und Einfachheit
$119.99
Islamophobia
$39.99
On Values in Finance and Ethics
$59.99
Lehrbuch der Mathematischen Physik
$59.99
The Low Countries History Yearbook
$54.99
PSpice for Analog Communications Engineering
$34.99
Let's-Read-and-Find-Out Science: Why Do Leaves Change Color?
$5.24
Regionale Frauennetzwerke
$59.99
Computer Information Systems and Industrial Management
$54.99
The Earth's Cryosphere and Sea Level Change
$109.99
Information Security Technologies in the Decentralized Distributed Networks
$109.00
S3-Leitlinie Schizophrenie
$64.99
Flexibilitt in Rahmenvertrgen
$64.99
Frog and Toad Are Friends
$3.71
Optical Character Recognition Systems for Different Languages with Soft Computing
$129.00
Anglophone Literature of Caribbean Indenture
$84.99
Biotechnology for Environmental Protection
$219.99
Das zeitgenssische deutschsprachige Sonett
$29.99
Yersinia Pestis Protocols
$54.99
Probleme der Fetalen Endokrinologie
$59.99
The Biokinetics of Flying and Swimming
$54.99
Environmental History in the Making
$129.00
European Yearbook of Constitutional Law 2019
$199.99
Machine Learning with Microsoft Technologies
$59.99
Embedded Java Security
$54.99
Gendering the International Asylum and Refugee Debate
$54.99
Semantics of Violence
$119.99
The Macmillan Guide to the United Kingdom 1978-79
$74.99
Versuche und Erfahrungen mit Rothbuchen-Nutzholz
$59.99
Your Five Senses
$5.21
Pro Ajax and the .NET 2.0 Platform
$39.99
Allocation under Uncertainty: Equilibrium and Optimality
$169.99
Nonlinear mappings of monotone type
$54.99
Automatisierungstechnik 3
$49.99
Kundenbindung durch Weiterempfehlung
$69.99
