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
Deutsche Kino-Wochenschau und der wirtschaftliche Aufschwung in West und Ost
$79.99
Structuring the Self
$89.99
Computer Science Theory and Applications
$109.99
Language and Dialect Death
$129.99
Games in Operations Management
$169.99
Resonante Wechselwirkung elektromagnetischer Wellen mit ionisierter Materie
$44.99
Advances in Theory and Practice of Computational Mechanics
$129.00
Sustainable Manufacturing and Remanufacturing Management
$169.99
Auf der Spur der Hacker
$69.99
Scholar Zone Extended Learning Plus Math Grade 5
$680.00
Craven Manor by Darcy Coates
$16.99
Polarisationsspannungsmessungen mit dem Impulsoszillographen
$54.99
Powder Mixing
$279.99
Entwrfe fr den Alltag
$59.99
Sensorische Regime
$44.99
Genetic Engineering of Crop Plants for Food and Health Security
$219.00
Earth Observation of Global Changes (EOGC)
$109.99
Computer-Integrated Manufacturing Handbook
$169.99
Self-Adjoint Operators
$29.99
Plastic and Reconstructive Surgery
$89.00
Das Apsismosaik von S. Apollinare in Classe
$59.99
Mitteilungen ber Forschungsarbeiten auf dem Gebiete des Ingenieurwesens
$59.99
SAP R/3 in der Praxis
$29.99
UK Success Stories in Industrial Mathematics
$109.99
Marketing von Reiseveranstaltern
$69.99
Strategisches und operatives Produktionsmanagement
$59.99
Sequential Analysis
$139.99
Unsere Friedensziele
$59.99
Luhmann Observed
$39.99
Data Analytics for Renewable Energy Integration: Informing the Generation and Distribution of Renewa
$54.99
In the Society of Fascists
$39.99
Vision, Sensing and Analytics: Integrative Approaches
$199.99
Regional Conference on Science, Technology and Social Sciences (RCSTSS 2014)
$169.99
Anlegerschutz am Grauen Kapitalmarkt
$59.99
Paths to Parenthood
$129.99
Beratung von Organisationen
$49.99
Financial Innovation and Resilience
$89.00
Textbook of Polytrauma Management
$139.99
Karrieremanagement
$59.99
World War 2 and the Soviet People
$39.99
