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 volume contains thoroughly refereed and revised full papers selected from the presentations at the first workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Nijmegen, The Netherlands, in May 1993. As the whole ESPRIT BRA 6453, this volume is devoted to the theoretical foundations, design and applications of systems for theory development. Such systems help in designing mathematical axiomatisation, performing computer-aided logical reasoning, and managing databases of mathematical facts; they are also known as proof assistants or proof checkers.
Reviews
Questions & Answers
Computer Architecture: A Minimalist Perspective
$169.99
Pharmaco-Imaging in Drug and Biologics Development
$199.99
Additive Manufacturing Solutions
$49.99
Musik in Baden-Wrttemberg, Jahrbuch 2001
$49.99
Sichtweisen
$64.99
Frozen Section Library: Gynecologic Pathology Intraoperative Consultation
$119.00
Lymphoreticular Malignancies
$39.99
Strategische Informations-system-Planung
$69.99
Wahrscheinlichkeit Mathematische Theorie und praktische Bedeutung
$17.99
Physikalisches Praktikum
$49.99
Heart Function and Metabolism
$169.00
Reasonableness and Effectiveness in Argumentative Discourse
$109.99
Aufstieg und Ausstieg
$39.99
Digitization in Controlling
$54.99
Threats to Euro-Atlantic Security
$109.99
Grundlagen linearer Antriebstechnik
$74.99
Technological Advances in Tellurite Glasses
$169.99
Security and Interorganizational Networks in Peace Operations
$109.99
Transnational Activism and the Israeli-Palestinian Conflict
$109.99
Magic Tree House: #38 Monday With a Mad Genius
$5.21
Biosphere Origin and Evolution
$129.00
Advanced Network Technologies and Intelligent Computing
$84.99
Investmentfonds - eine Branche positioniert sich
$59.99
The Physics Behind Electronics
$84.99
Stress und Belastung bei Fachkrften der Jugendhilfe
$69.99
Lineare Algebra und Geometrie
$44.99
Society and Democracy in South Korea and Indonesia
$49.99
bersetzerbau
$34.99
Intersecting Cultures in Music and Dance Education
$109.99
Coherent Dynamics of Complex Quantum Systems
$84.99
Grobetrieblicher Dienstleistungssektor in den neuen Bundeslndern
$59.99
Strukturen des Denkens
$64.99
Measurement of Higgs Boson Production Cross Sections in the Diphoton Channel
$109.99
The Guinea-Pig Placenta
$54.99
Precision Molecular Pathology of Prostate Cancer
$109.00
Modeling and Design of Flexible Pavements and Materials
$79.99
Personal Income Distribution
$84.99
Stellar Paths
$84.99
Sicily and the Mediterranean
$54.99
Guide to Fitness After Fifty
$54.99
