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 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.
Reviews
Questions & Answers
Leistungsbereitschaft, Soziale Sicherheit, Politische Verantwortung
$59.99
Amerikanische Literaturgeschichte
$99.99
Controlling in Unternehmensnetzwerken
$99.99
Forschen unter Bedingungen kultureller Fremdheit
$69.99
The Politics of Postmemory
$109.99
Selbstbestimmt bis nach dem Tod
$44.99
Telomeres and Telomerase in Aging, Disease, and Cancer
$219.99
Wundversorgung von A - Z
$19.99
Feeling Thankful
$5.21
Automated Theorem Proving
$109.99
BioH2 & BioCH4 Through Anaerobic Digestion
$109.99
International Perspectives on Sport for Sustainable Development
$109.99
High Performance Computing on Vector Systems 2007
$109.99
Die farbigen Dmmerungserscheinungen
$49.99
Mesoscale Models
$129.00
Innovative Computing, Optimization and Its Applications
$84.99
Computational Physics
$39.99
Pohl's Introduction to Physics
$109.99
Die Inszenierung von Rassismus in der Kulturindustrie
$49.99
Inclusive Branding
$99.00
The Basic Environmental History
$139.00
ReOrganization
$39.99
Diagnosis & Reliable Design of Digital Systems
$54.99
New Insights From Recent Studies in Historical Astronomy: Following in the Footsteps of F. Richard
$169.99
Kontakt- und Langzeitverhalten stromfhrender Verbindungen in der Elektroenergietechnik
$69.99
Baulogistikplanung
$17.99
High-Tech and Micropropagation I
$84.99
The Irish Parading Tradition
$56.00
Reading Success in the Primary Years
$24.99
Erasmus Darwin and the Romantic Poets
$169.99
Blood Vessels
$109.99
A Poetics of Global Solidarity
$54.99
Brgermeister Curtius
$59.99
Proceedings of the Indian Geotechnical Conference 2019
$299.00
Magen
$59.99
El Club de Cmics de Supergatito #3: A propsito (Hardcover)
$9.74
Europe and Asia
$54.99
Dhat Syndrome
$159.99
Tycoons, Scorchers, and Outlaws
$54.99
Konflikt-Management
$89.99
