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 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.
Reviews
Questions & Answers
Adjuvante zytostatische Chemotherapie
$69.99
The Growth of Chinese Electronics Firms
$54.99
The Circulation of Penicillin in Spain
$139.99
Kinderschutz und ffentlichkeit
$59.99
Conditionality and the Ambitions of Governance
$39.99
Untersuchungen zum Konzept der sog. Feldabhngigkeit (WITKIN): Eine experimentelle Grundlagenstudie
$59.99
New Perspectives on Technology, Values, and Ethics
$54.99
Passive and Active Measurement
$54.99
Sustainable Supply Chain Management
$79.99
Einflu der Hinterschiffsform auf das Manvrieren von Schiffen auf flachem Wasser
$59.99
Geschftsmodelle und Strategien im Mittelstand
$29.99
Wahrscheinlichkeit und Regression
$49.99
Exploring Advanced Features in C#
$44.99
Qualittssicherung bei EDV-Systemen
$99.00
Crystalline State Photoreactions
$84.99
Nematology in South Africa: A View from the 21st Century
$189.00
ber die Struktur der Proplastiden
$54.99
Nanomaterials and Nanocomposites, Nanostructure Surfaces, and Their Applications
$169.99
Stellung und Aufgaben des Internatserziehers
$59.99
The Sava River
$329.99
Networked RFID
$84.99
Wirtschafts- und Industriespionage
$39.99
Java and the Java Virtual Machine
$54.99
Culture and Computing
$79.99
Materialbedarf und Bestellmenge
$59.99
Eddy Structure Identification in Free Turbulent Shear Flows
$219.99
Transcriptional and Translational Regulation of Stem Cells
$169.99
Forensic Management of Sexual Offenders
$129.00
Gott als Vernunft
$54.99
Biophysics of RNA-Protein Interactions
$139.00
French and American Prisoners of War at Dartmoor Prison, 1805-1816
$129.99
An Economic History of British Steam Engines, 1774-1870
$139.99
High Pressure Molecular Science
$109.99
Kinderpsychiatrie kompakt
$79.99
ber Kindliche Selbstmrder
$44.99
Politik und wirtschaftlicher Wettbewerb in der Globalisierung
$74.99
Microbial Control of Weeds
$84.99
Exploration Geophysics
$89.00
Molecular Marker Applications for Improving Sugar Content in Sugarcane
$34.99
Partnerships for Livable Cities
$119.00
