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:
Buy Types for Proofs and Programs for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$39.99 | 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
Health Services and Health Hazards: The Employees Need to Know
$54.99
Rigid Polymer Networks
$39.99
Recent Advances in Functional Materials and Devices
$169.00
Atomic and Nuclear Analytical Methods
$229.00
Evidence-Based Imaging
$169.00
Adrenergic Neurons
$54.99
Wissenschaft und Medienxc
$44.99
Secretions and Exudates in Biological Systems
$169.99
Through a Distorted Lens
$39.99
Optimierungsverfahren zur Risk-/Return-Steuerung der Gesamtbank
$79.99
Patterns of Dynamics
$109.99
Jasmine Toguchi, Mochi Queen
$5.96
Protocols for Nucleic Acid Analysis by Nonradioactive Probes
$84.99
The Beginner's Guide to Data Science
$49.99
Chilo
$84.99
Soft Error Mechanisms, Modeling and Mitigation
$54.99
Productivity and Inequality
$179.99
Ring Theory
$34.99
Grundlagen und computergerechte Methodik der Mehrkrpersimulation
$34.99
The Emergence of the Acheulean in East Africa and Beyond
$139.99
Robotic Radiosurgery. Treating Tumors that Move with Respiration
$169.99
Plant Medicines, Healing and Psychedelic Science
$149.00
Advanced Dynamics and Control of Structures and Machines
$109.99
Swarm Intelligence
$54.99
The Logic of Time
$89.00
Enabling Mathematics Learning of Struggling Students
$159.99
Studien zur Struktur des Bewusstseins
$179.99
PC Viruses
$39.99
Moralkommunikation der Macht
$99.00
ARMA Model Identification
$54.99
Beitrag zur Untersuchung rotationssymmetrischer Tandemgitter fr berschallstrmung
$49.99
From Synapses to Rules
$169.99
Festkrperphysik
$69.99
Herbal Drugs: Ethnomedicine to Modern Medicine
$329.99
Perspektiven der Kognitionspsychologie
$69.99
Rotating Objects and Relativistic Physics
$39.99
The Fair-Line and the Good Frontage
$54.99
Water Hole Waiting
$5.21
Modeling the Electrochemo-poromechanics of Ionic Polymer Metal Composites and Cell Clusters
$199.99
Emerging Materials
$179.99
