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
Die Boheme
$64.99
Mit kollegialen Gren ..
$19.99
Genome Editing in Neurosciences
$59.99
Drogenabhngigkeit und Psychose
$59.99
Tensions in Teaching about Teaching
$84.99
Syrian Crisis, Syrian Refugees
$64.99
Artificial Intelligence, Computer and Software Engineering Advances
$219.99
Das Problem des Charakteraufbaus
$59.99
Introduction to Digital Systems Design
$54.99
Stakeholder Trust in Family Businesses
$54.99
Multimedia Signals and Systems
$84.99
Histamine Receptors
$169.99
Watermarking Techniques for Copyright Protection of Videos
$54.99
New Trends in Kramers Reaction Rate Theory
$109.99
Dynamic Games for Network Security
$39.99
Governing through Standards: the Faceless Masters of Higher Education
$39.99
Food Freezing and Thawing Calculations
$54.99
Essence of a Manager
$39.99
Progranulin and Central Nervous System Disorders
$109.99
Fernsehtechnik
$54.99
Technologiemanagement
$109.00
Big and Small: Birds
$5.24
Wissensgesellschaft und soziale Ungleichheit
$69.99
DIFFRACTION 2002: Interpretation of the New Diffractive Phenomena in Quantum Chromodynamics and in t
$109.99
Practical Handbook of Thoracic Anesthesia
$119.00
Classic Fairy Tales: Cuentos de Andersen
$5.21
Leistungsphysiologie
$59.99
Die Diffusion von Politikinnovationen
$59.99
Semantics of Genitive Objects in Russian
$129.99
Robust Control for Uncertain Networked Control Systems with Random Delays
$109.99
Beneficial Co-Utilization of Agricultural, Municipal and Industrial by-Products
$84.99
Pdiatrie
$69.99
Grnderprocesse
$59.99
Immunofluorescence in Clinical Immunology
$84.99
Mechanik der Flssigen und Gasfrmigen Krper
$49.99
Stability Problems for Stochastic Models
$34.99
Trauma und Leiblichkeit
$59.99
Foreign Exchange Exposure in Emerging Markets
$109.99
Symmetry in Science
$34.99
Silba por Willie
$4.46
