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 presents a strictly refereed collection of revised full papers selected from the papers accepted for the TYPES '94 Workshop, held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Bastad, Sweden, in June 1994. The 10 papers included address various aspects of developing computer-assisted proofs and programs using a logical framework. Type theory and three logical frameworks based on it are dealt with: ALF, Coq, and LEGO; other topics covered are metatheory, the Isabelle system, 2-calculus, proof checkers, and ZF set theory.
Reviews
Questions & Answers
Untersuchungen ber den Einflu von Wrmebehandlungen im Temperaturbereich bis 200C und von Wasserl
$59.99
China's Sustainability Transitions
$109.00
Erfolgsfaktoren digitaler Marktpltze in der Agrar- und Ernhrungsindustrie
$74.99
Geometrische und physikalische Kristallographie
$59.99
Homoeoteleuton in Latin dactylic verse
$49.99
Stochastic Algorithms: Foundations and Applications
$39.99
Current Problems in Elementary Particle and Mathematical Physics
$39.99
Current trends in Bioinformatics: An Insight
$169.99
Adaptive Regression
$39.99
Towards an Intelligent Learning Management System Under Blended Learning
$109.99
T. S. Eliot and Dante
$84.99
Fungicide Resistance in Plant Pathogens
$129.00
Ergnzungsbltter zum Hebammen-Lehrbuch, Ausgabe 1904
$54.99
The Virtual Utility
$219.99
Kundenorientierte Softwareproduktion
$59.99
Capitalism and Freedom in African Political Philosophy
$39.99
Select Collection 3: Ages 18-24 Months
$99.25
Medien- und Internetmanagement
$54.99
Reforming the Humanities
$54.99
Handbook of Depression
$54.99
Electronic Government
$109.99
The Encyclopedia of Pastel Techniques
$19.95
Vertrieb und Workflow mit SAP R/3
$74.99
Schellings Reception in Nineteenth-Century British Literature
$89.99
Rare Earth
$29.99
Science Fiction by Scientists
$32.99
Jahrbuch der Psychoonkologie 1992
$44.99
Resistance to Proteasome Inhibitors in Cancer
$129.00
Dienstleistungsklima und seine personalen Folgen
$59.99
The Romance of Gambling in the Eighteenth-Century British Novel
$54.99
Analysis II
$64.99
Synthetic DNA
$159.99
Die Trken, die Deutschen und Europa
$59.99
Religion and the American Presidency
$54.99
Advances in Distributed Computing and Machine Learning
$299.99
New Therapies to Prevent or Cure Auditory Disorders
$109.99
Erfolgsfaktor CommTech
$59.99
Designing Effective and Usable Multimedia Systems
$129.00
Year of the Jungle (Hardcover)
$14.24
Literatures of Liberalization
$89.99
