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
Types for Proofs and Programs
Best Price (Coupon Required):
Buy Types for Proofs and Programs 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 thoroughly revised post-workshop proceedings of the first annual workshop held under the auspices of the ESPRIT Working Group 21900 TYPES in Aussois, France in December 1996. The 18 revised full papers presented in the book were carefully reviewed and selected from the 30 papers accepted for presentation at the workshop. All current aspects of type theory and type systems and their applications to program verification and theorem proving are addressed; the proof systems and theorem provers dealt with include Coq, LEGO, and Isabelle/HOL.
Reviews
Questions & Answers
Mike Mulligan And His Steam Shovel
$6.50
Mrtyrerlegenden im NS-Film
$59.99
Russian Colonization and the Genesis of Kazak National Consciousness
$109.99
Analysis and Control of Age-Dependent Population Dynamics
$109.99
Advanced Informatics for Computing Research
$54.99
The Drivers of Wearable Device Usage
$39.99
Cross Disciplinary Biometric Systems
$129.00
Britische Arbeitsbeziehungen
$39.99
Cancer Cell Culture
$74.99
50 Keywords Wirtschaftssoziologie
$19.99
Maglev Trains
$119.99
R.E.A.L. Additional Student-Packs Grade Pre-K Set B (5-Pack)
$149.99
Building a Low-Carbon Future
$159.99
My Math Readers Parent Pack
$17.99
Technologies for Constructing Intelligent Systems 2
$169.99
Fashion Brand Internationalization
$64.99
Plant Cell and Tissue Culture A Tool in Biotechnology
$109.00
Alluvial Fans in Southern Iran
$169.99
Industry 4.0
$64.99
Turbulent Impinging Jets into Porous Materials
$34.99
Phytopharmaka
$84.99
Der Beitrag von Vorlesungsaufzeichnung im Lehrbetrieb
$59.99
The German Verse Epic in the Nineteenth and Twentieth Centuries
$54.99
Kempes Operative Neurosurgery
$139.99
Rational Expectations in Macroeconomic Models
$169.99
Heavy Minerals in Colour
$79.99
International Perspectives on Home Education
$54.99
Beginning Teachers
$49.99
Die cerebrale Arteriographie und Phlebographie
$59.99
Personalmanagement und Mitarbeiterleistung
$17.99
Customer Experience im Zeitalter des Kunden
$69.99
Nutritional Adequacy, Nutrient Availability and Needs
$54.99
New Directions in the Philosophy of Science
$279.99
Spirit Animals: Wild Born (Hardcover)
$10.49
Understanding Hospitals in Changing Health Systems
$99.99
Micromachined Ultrasound-Based Proximity Sensors
$84.99
Antimercantilism in Late Medieval English Literature
$54.99
Cultural Change in Post-Migrant Societies
$59.99
Coastal and Marine Environmental Education
$109.99
Handbuch Umformtechnik
$139.00
