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
Informationstechnologie in Banken
$59.99
The Mosaic of Contemporary Psychiatry in Perspective
$84.99
Proceedings of the 14th International Conference on Vibration Problems
$329.99
Das Elektrische Kabel
$84.99
Sight as Site in the Digital Age
$149.00
Nonlinear Optics of Organics and Semiconductors
$169.99
Hybrid Annuity Model (HAM) of Hybrid Public-Private Partnership Projects
$69.99
Magnetic Characterization Techniques for Nanomaterials
$229.00
Pattern Formation in Zebrafish
$219.99
Communicating Risk
$99.99
Hate Crime Statutes
$49.99
Virtual, Augmented and Mixed Reality: Designing and Developing Augmented and Virtual Environments
$39.99
Einfhrung Pdagogik
$39.99
Introduction to the Quantum Yang-Baxter Equation and Quantum Groups: An Algebraic Approach
$54.99
Fortschritte in der anorganisch-chemischen Industrie
$69.99
CSR und Social Enterprise
$39.99
Algebra
$69.99
High-Voltage Equipment of Power Systems
$89.99
Game Theory for Networks
$44.99
Jet Web
$79.99
Ethics and Literature in Chile, Argentina, and Paraguay, 1970-2000
$99.99
Handbuch der normalen und pathologischen Physiologie
$69.99
Inequality, Socio-cultural Differentiation and Social Structures in Africa
$119.99
New Dualities of Supersymmetric Gauge Theories
$39.99
The Invisible Order
$139.99
Econometric Analysis of Discrete Choice
$54.99
The Political Economy of Hungary
$64.99
Die Performance von Analystenempfehlungen
$69.99
Masonry Construction
$109.99
Gallopamil
$69.99
Europische Fossillagersttten
$59.99
Hyperbolic Conservation Laws in Continuum Physics
$99.00
Everyone Eats!
$3.71
Rethinking U.S. World Power
$159.99
Global South Perspectives on Diplomacy
$99.99
Diagnosis and Management of Complications of Peritoneal Dialysis related Peritonitis
$109.99
Views on Evolvability of Embedded Systems
$169.99
Critical Infrastructure Protection IV
$39.99
Communication and Economic Theory
$54.99
Constraint Theory
$199.99
