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
Theory of Chemical Reaction Dynamics
$129.00
The Limits of Political Belonging
$54.99
Simple Chemical Methods for Thin Film Deposition
$179.99
50 Schlsselideen Physik
$19.99
Emily Bront
$39.99
Machine Vision Algorithms in Java
$169.99
Cognition and the Creative Machine
$149.00
Meaning and Analysis: New Essays on Grice
$54.99
Fluid-Structure Interaction of Composite Structures
$299.99
Cellular Metabolism of the Arterial Wall and Central Nervous System
$109.99
Responsibility in an Interconnected World
$99.99
Strukturalistische Internetforschung
$79.95
Dark Matter in Astro- and Particle Physics
$39.99
Neuropsychologie der Schizophrenie
$29.99
Formal Techniques for Networked and Distributed Systems - FORTE 2003
$54.99
Telephone Surveys in Europe
$169.99
Molecular Recognition and Inclusion
$169.00
Measuring Race and Ethnicity
$129.99
Nature at Work - the Ongoing Saga of Evolution
$54.99
Beyond Einstein Gravity
$64.99
Einstein's Relativity
$109.99
Dynamic Radiology of the Abdomen
$74.99
Advances in Sustainable Energy
$379.99
Structural Health Monitoring for Suspension Bridges
$159.99
School Readiness Grades PreK-K
$235.00
Bildungseffekte urbaner Rume
$59.99
Automatisierter PNV
$59.99
Edmond Halleys Reconstruction of the Lost Book of Apolloniuss Conics
$89.00
Sound-Engineering im Automobilbereich
$199.99
Migration, Social Identities and Regionalism within the Caribbean Community
$54.99
Nutritional Epidemiology of Breast Cancer
$199.99
Eisen im Hochbau
$49.99
The EU Enlargement and Gay Politics
$24.99
Quantum Mechanics
$54.99
Zahlungsmittelverkehr der Unternehmung
$59.99
Kaspers/Kfner Messen - Steuern - Regeln
$54.99
Hochschulprojektmanagement
$44.99
Atmospheric Ozone as a Climate Gas
$84.99
Evaluating Feynman Integrals
$169.00
Modern Statistical Methods for Health Research
$159.99
