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
A Leadership Paradigm Shift to Eclectic Leadership
$109.99
Systems Biology
$149.00
Transformative Teaching
$59.99
Communicating Rights
$84.99
Mathematics of Wave Phenomena
$149.00
Event-Trigger Dynamic State Estimation for Practical WAMS Applications in Smart Grid
$109.99
Einfhrung in die Atomphysik
$84.99
Methods and Procedures for the Verification and Validation of Artificial Neural Networks
$109.99
3-Dimensional Process Simulation
$39.99
Nonlinear Numerical Methods and Rational Approximation II
$84.99
Computational Intelligence: Theory and Applications
$84.99
Semiconductors
$39.99
Media and the Dissemination of Fear
$169.99
Ready-To-Go 100 Book Classroom Library: Nonfiction, Grade 3
$479.00
International Finance and Financial Crises
$109.99
Somatic Embryogenesis in Woody Plants
$219.99
Ein Algorithmus zur kapazittsorientierten Bildung von Losen
$69.99
ber die Ultraschall-Extinktion in Suspensionen und ihre Anwendung zur Messung geringer Konzentratio
$49.99
Mitt Romney, Mormonism, and the 2012 Election
$84.99
Cell Culture Techniques
$139.00
Computer Vision, Imaging and Computer Graphics Theory and Applications
$119.00
Risikopublizitt von Kreditinstituten
$79.99
Unicorns & Friends Grades K-2
$27.00
Cognitive Finance
$29.99
Norways Peace Policy
$39.99
Danbi Leads the School Parade
$5.21
Tendinopathy
$169.99
Welt im Wandel: Neue Strukturen globaler Umweltpolitik
$74.99
Nonlinear Waves
$179.99
Algorithms and Architectures for Parallel Processing
$54.99
Laws of Numbers: Extremes and Rare Events
$109.00
Philosophy and Terry Pratchett
$29.99
Intelligent Quality Systems
$84.99
The Political Economy of Brazils WTO Case Against the United States
$139.99
Essential Delphi 2.0 Fast
$109.99
Generalized Collocation Methods
$54.99
Bild und Gegenbild: Die USA in der Belletristik der SBZ und der DDR (bis 1987)
$59.99
Textbook of Otitis Media
$179.99
Modern Trends in Applied Aquatic Ecology
$129.00
