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
Elektrische Starkstromanlagen
$59.99
Multi Modality State-of-the-Art Medical Image Segmentation and Registration Methodologies
$169.00
Innovation and IT in an International Context
$109.99
Governing Groundwater
$99.00
Principles of Petroleum Reservoir Engineering
$99.99
Vorkurs Mathematik
$39.99
Cognition Beyond the Brain
$139.99
Globalization and Social Transformation in the Asia-Pacific
$39.99
Justice, Democracy and Reasonable Agreement
$54.99
Flooding and Implosive Therapy
$39.99
Grundlagen fr die Messung von Stirnrdern mit gerader Evolventenverzahnung
$59.99
Organization and Decision Theory
$169.00
Phenomenology and the Human Positioning in the Cosmos
$109.99
New Perspectives on the History of Life Sciences and Agriculture
$149.00
Disadvantaged Workers
$109.99
Anwendungsorientierte Mikroprozessoren
$39.99
The Restricted Three-Body Problem and Holomorphic Curves
$129.99
The Rhetoric of Violence
$54.99
Socionics
$54.99
Women Directors
$109.99
Large-Scale Parallel Data Mining
$39.99
Dopplersonographie in der Neonatologie
$44.99
Blood and Marrow Transplant Handbook
$79.99
Quality Assurance Implementation in Research Labs
$109.99
European Regional Development
$139.99
Kognitive Verhaltenstherapie depressiven Grbelns
$44.99
Mehr Umsatz mit Kaltakquise und Direktbesuch
$44.99
August Acrobat
$5.21
Combinatorial Pattern Matching
$39.99
Nationalism and the Reshaping of Urban Communities in Europe, 1848-1914
$54.99
Data Science and Big Data Analytics
$129.00
The Structure of Functions
$54.99
Click, Clack, Moo: Cows That Type by Doreen Cronin
$17.99
Satellite Rainfall Applications for Surface Hydrology
$129.00
A Chronology of the Byzantine Empire
$169.00
SDL 2005: Model Driven
$54.99
Endocytosis in Plants
$129.00
Strategies for Sustainable Tourism at the Mogao Grottoes of Dunhuang, China
$39.99
Produktentwicklung in Kooperation mit Anwendern
$79.99
Constraint Databases and Applications
$39.99
