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
Intelligence - Theories and Applications
$139.00
Improving National Education Systems After COVID-19
$59.99
Kinderreiche Familien
$49.99
Arbeitsbuch zur mikrokonomischen Theorie
$39.99
Materialwissenschaft und Werkstofftechnik
$29.99
Green Economy Reader
$129.99
Historic Mortars
$219.99
Post-harvest Pathology
$129.00
Politikfeldanalyse
$34.99
Transnational Anti-Gender Politics
$139.99
Progress on Cryptography
$84.99
Quality of Service in Multiservice IP Networks
$39.99
Lebensmitteltechnologie
$299.99
Kartei zur Dokumentation der Moleklspektroskopie
$59.99
Soziologie - eine systematische Einfhrung
$29.99
Imaging Our Solar System: The Evolution of Space Mission Cameras and Instruments
$29.99
Die Ameise
$84.99
Recent Advances in Harmony Search Algorithm
$84.99
Success Factors in Logistics Outsourcing
$39.99
Kennedy, Macmillan and Nuclear Weapons
$39.99
Mensch-Maschine-Interaktion
$119.99
Economics of Institutional Change
$129.99
Beyond Delivery
$54.99
A Framework for Durability Design with Strain-Hardening Cement-Based Composites (SHCC)
$129.00
Leitfaden der Humangenetik
$84.99
Una escuela en cada rincn
$4.46
The Neuropsychology of Attention
$169.00
Behavior and Social Computing
$54.99
Imaging of the Hip & Bony Pelvis
$219.99
Kognitives Training bei psychiatrischen Erkrankungen
$44.99
International Banking and Financial Centers
$109.99
MEGAFLOW - Numerical Flow Simulation for Aircraft Design
$169.00
Plant Gametogenesis
$129.00
Vth International Congress on X-Ray Optics and Microanalysis / V. Internationaler Kongre fr Rntge
$44.99
Rapid Application Generation of Business and Finance Software
$109.99
Colloquium De Giorgi 2013 and 2014
$19.99
Entwerfen und Berechnen der Dampfturbinen
$59.99
Integration and Excision of DNA Molecules
$54.99
Echtzeitsysteme im Alltag
$54.99
Mit Multipler Sklerose mitten im Leben
$29.99
