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
Inequality and Social Structure During the Transition
$109.99
High performance im Krankenhausmanagement
$44.99
Quantum Random Number Generation
$119.00
They Thought They Saw Him
$5.21
Facility Management im Hochbau
$29.99
Guarding Your Business
$39.99
Standortplanung unter Bercksichtigung verschiedener Marktbedingungen
$66.00
A Spark Unseen
$9.74
Emerging Techniques in Applied Demography
$84.99
Lectures on Algebraic Topology
$74.99
Gender Responsive and Participatory Budgeting
$69.99
Facts and Evidence
$179.99
Place Value Grade 3 Differentiation Pack
$5.99
Engineering and Applied Sciences Optimization
$169.99
European Film and Television Co-production
$37.99
Monoclonal Antibodies
$129.00
Agroecology
$119.99
Techniques and Concepts of High-Energy Physics VI
$39.99
Dotierte Ehe rechte Ehe Zur Entwicklung des Eheschlieungsrechts in frnkischer Zeit
$59.99
Feminist Epistemology and Philosophy of Science
$179.99
Recent Advances in Computational Optimization
$169.99
Critical Readings of Turkeys Foreign Policy
$64.99
Brainteaser fr Anfnger und Fortgeschrittene
$29.99
Urologie und ihre Grenzgebiete
$59.99
Hydrogen-based Autonomous Power Systems
$109.99
Ambulante Poesie
$99.99
Religious Diversity in Chinese Thought
$54.99
Vibrations of Elastic Plates
$109.99
AdvancED ActionScript 3.0 Animation
$29.99
Cooperative Vehicular Communications in the Drive-thru Internet
$54.99
bungsbuch Losbildung und Fertigungssteuerung
$37.99
Methodological and Historical Essays in the Natural and Social Sciences
$54.99
Deutsche Hochschulen im Ausland
$69.99
Bram Stoker
$54.99
Dimensionen historisch-politischen Bewusstseins von Jugendlichen
$49.99
Machine Learning and Knowledge Extraction
$84.99
Asymptotic Stochastics
$59.99
In-Memory-Computing
$119.99
Encyclopedia of Traditional Chinese Medicines - Molecular Structures, Pharmacological Activities, Na
$189.00
Semantic Agent Systems
$129.00
