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
Wertkonflikte als Herausforderung der Demokratie
$64.99
There Was an Old Lady: There Was an Old Astronaut Who Swallowed the Moon!
$3.74
Inelastic Behaviour of Plates and Shells
$169.99
Synthesis and Modelling of Intermittent Estuaries
$54.99
The SIMD Model of Parallel Computation
$39.99
Computer Presentation of Data in Science
$169.99
Faszinierende Unterhaltung
$74.99
Climate Change on Mountains
$29.99
Interkulturelle Wirtschaftskommunikation
$69.99
Segregation by Design
$249.99
The Multi-Talented Mr. Erskine
$54.99
Yearbook of the European Convention on Human Rights / Annuaire De La Convention Europeenne des Droit
$74.99
Advances in Extended and Multifield Theories for Continua
$169.99
Trends and Prospects in Motivation Research
$129.00
Women in the Medieval Islamic World
$99.99
Galaktozentrische Bahnelemente von 1026 Fixsternen in der nchsten Umgebung der Sonne
$69.99
Fokus Kunde
$59.99
Communication Technologies, Information Security and Sustainable Development
$39.99
Handbook of Crystallography
$39.99
Guided Reading Level V Pack 1
$89.00
Loch Leven: 40 years of scientific research
$109.99
Hair Cell Regeneration, Repair, and Protection
$109.99
Islam and Politics in Bangladesh
$119.99
High Efficiency Video Coding (HEVC)
$179.99
Cosmetic and Pharmaceutical Applications of Polymers
$169.00
Polymer Alloys III
$39.99
Learning from Communicators in Social Change
$109.99
Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management
$74.99
IT Security Management
$84.99
Quantum-Enhanced Nonlinear Spectroscopy
$109.99
The Ethics of Detachment in Santayana's Philosophy
$54.99
Introduction to Discrete Event Systems
$74.99
The Magic School Bus at the Waterworks
$6.74
International Perspectives on Teaching English to Young Learners
$99.99
Management of Thyroid Cancer
$54.99
Lingua Franca and Franais Tirailleur
$49.99
Audacious Education Purposes
$59.99
Current Trends in Histocompatibility
$109.99
Spatial Strategies in Retailing
$169.99
Spilites and Spilitic Rocks
$109.99
