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
Earthquakes and Multi-hazards Around the Pacific Rim, Vol. I
$39.99
Einsatzmglichkeiten von GPT in Finance, Compliance und Audit
$49.99
Kooperationen und Fusionen von ffentlichen Theatern
$59.99
Psychologisches Konfliktmanagement
$17.99
Principles of Gravitational Lensing
$109.99
Residue Reviews
$99.00
The Jungle Run
$4.46
The ILO from Geneva to the Pacific Rim
$54.99
Complexity in Health Care
$119.99
Visibility in Social Theory and Social Research
$54.99
Theory of Elastic Waves
$179.99
Neue Wachstums- und Innovationspolitik in Deutschland und Europa
$79.95
Die Krisis der Volkskirche Zerfall oder Gestaltwandel?
$44.99
Nanostructured Catalysts
$129.00
Georg von Siemens Ein Lebensbild aus Deutschlands groer Zeit
$59.99
The Late Baroque Era: Vol 4. From The 1680s To 1740
$109.99
America Responds to Terrorism
$39.99
CSR, Katastrophenschutz und Innovationen
$79.99
Benign Childhood Focal Seizures and Related Epileptic Syndromes
$64.99
Coleridge and the Crisis of Reason
$54.99
Schizophrenic Disorders:
$109.99
Transactions on Large-Scale Data- and Knowledge-Centered Systems V
$54.99
S3-Leitlinie Screening, Diagnose und Behandlung alkoholbezogener Strungen
$49.99
Flower Garden: 6-Book Set
$30.95
Path Player Games
$54.99
Heinrich Caro and the Creation of Modern Chemical Industry
$219.99
Driver Drowsiness Detection
$39.99
Principles of Verification: Cycling the Probabilistic Landscape
$74.99
Algebraic Number Theory
$54.99
Decision and Intelligence
$54.99
Zen and the Art of Motorcycle Maintenance- An Inquiry into Values by Robert M Pirsig
$21.99
Conceptual Flux
$169.99
Value Creation in International Business
$84.99
Solar Composition and its Evolution from Core to Corona
$189.00
Design Engineering and Science
$99.99
A Practical Guide to the Evaluation of Child Physical Abuse and Neglect
$119.00
Chirurgische Therapie von Skelettmetastasen
$69.99
Hochschulbildungsforschung
$49.99
Beyond Tribalism
$34.99
Directed Metallation
$329.99
