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
Zwischen Scylla und Charybdis?
$69.99
A Convergence of Lives
$54.99
Materials for Lithium-Ion Batteries
$329.99
Metallic Amorphous Alloy Reinforcements in Light Metal Matrices
$54.99
Globalization
$84.99
DSL versus Kabel
$69.99
Cell-Based Assays for High-Throughput Screening
$109.99
Concepts of Meaning
$109.99
Connective Tissue Disease
$159.99
Violence and Gender in Africa's Iberian Colonies
$64.99
Maintenance Theory of Reliability
$169.99
Dark Tourism in the American West
$119.99
Adverse Events with Biomedicines
$219.99
Intersections in Christianity and Critical Theory
$54.99
New Frontiers in Artificial Intelligence
$39.99
Advances in Rapid Thermal and Integrated Processing
$449.99
Experience, Inference and God
$39.99
Integrated Methods for Optimization
$54.99
Abschied vom Eis
$19.99
Akzeptanz von Beacons fr Location-based Advertising
$49.99
Legitime Strategien der Dissensbewltigung in demokratischen Staaten
$99.00
The Quality Agenda in Early Childhood Education
$64.99
Zahlentheorie fr Einsteiger
$59.99
Argumentation in Multi-Agent Systems
$49.99
Der Mechanik-Coach
$39.99
Processing for Android
$39.99
Childhood Cancer Survivors with Chronic Diseases
$109.99
Complex Phenomena in Nanoscale Systems
$84.99
Elektro-Werkzeuge Kleinwerkzeugmaschinen mit Einbaumotor und biegsame Wellen
$59.99
Citizenship on the Margins
$39.99
Data Warehouse-gesttzte Anwendungen
$44.99
Moment Tensor Solutions
$129.00
Iran and the American Media
$64.99
Fluktuation an der Unternehmensspitze
$69.99
Innovative Managementaufgaben in der nationalen und internationalen Praxis
$59.99
Eurasian Business and Economics Perspectives
$249.99
Military Logistics
$139.99
Imaging of Hypoxia
$169.99
Radical Pedagogy
$54.99
Hybrid Renewable Energy Systems for Remote Telecommunication Stations
$169.99
