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
Macht als soziale Praxis
$59.99
21st Century Maritime Silk Road: Wave Energy Resource Evaluation
$129.00
Dilla Time: The Life and Afterlife of J Dilla, the Hip-Hop Producer Who Reinvented Rhythm by Dan Charnas
$20.00
Automated Design of Analog and High-frequency Circuits
$84.99
Gender Hate Online
$99.00
Applications of Functional Analysis in Engineering
$39.99
Fashion Marketing in Emerging Economies Volume I
$179.99
Spektrochemische Grundlagen der Analyse von Gemischen aus Kohlenmonoxyd, Wasserstoff und Stickstoff
$54.99
Gemeinkostensenkung durch kostengnstiges Konstruieren
$49.99
New Essays on Frege
$109.99
Music, Nostalgia and Memory
$99.99
Who is who in e-Health
$54.99
Ready, Set, Go!: An Acorn Book (Moby Shinobi and Toby Too! #3)
$3.74
Grundlegung eines Verbandssteuerrechts
$59.99
Verification and Validation of Real-Time Software
$39.99
OCDaniel
$6.71
Arbeitswelt der Zukunft
$89.99
Computer Applications for Handling Legal Evidence, Police Investigation and Case Argumentation
$169.00
Unser Gesundheitswesen
$69.99
Scholar Zone Extended Learning Math Grade 5
$580.00
Militanter Modernismus
$29.99
CO2 Free Ammonia as an Energy Carrier
$149.00
A Systems Description of Flow Through Porous Media
$54.99
Fallsammlung zu Kriminologie, Jugendstrafrecht, Strafvollzug
$24.99
Linguistics and Literacy
$84.99
Cognitive Workload and Fatigue in Financial Decision Making
$109.99
Turbomaschinenforschung
$59.99
Trends and Applications in Knowledge Discovery and Data Mining
$54.99
The Lewin Legacy
$139.99
Wrter fr Dinge
$69.99
Place Making in International Practice of Landscape Architecture
$179.99
Eternity
$54.99
Zwischen Macht und Ohnmacht
$44.99
Fremdkrpersarkome
$39.99
Der Sdosten verkehrspolitisch betrachtet
$59.99
Bildungsethik
$79.99
Advances in Data and Web Management
$84.99
Programmed Morphogenesis
$89.00
Professionalization of Foreign Policy
$119.99
Multidisciplinary Futures of UN Peace Operations
$139.99
