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
Recent Advances in Dynamical Astronomy
$219.99
Antimicrobial Drug Resistance
$299.99
Handbuch Qualitative Forschung in der Psychologie
$139.00
Secure ICT Service Provisioning for Cloud, Mobile and Beyond
$44.99
VDI-Taschenlexikon Immissionsschutz
$54.99
Entwicklung eines Verfahrens zur Bestimmung der Verkokungswrme kleiner Mengen Steinkohle
$59.99
Family Life, Trauma and Loss in the Twentieth Century
$99.99
Corporate Social Responsibility und die Kaufentscheidung der Konsumenten
$74.99
Sprachwissen und Sprachtheorien
$59.99
Pro Hadoop
$39.99
Isotopic Landscapes in Bioarchaeology
$99.00
Water Stress in Plants
$219.99
Die ersten 100 Tage als Fhrungskraft erfolgreich bewltigen
$17.99
Fearless
$5.24
Black Hole Gravitohydromagnetics
$169.99
konometrie verstehen mit Gretl
$39.99
Financial Institutions in Europe under New Competitive Conditions
$109.99
Toward a North American Legal System
$39.99
Terrorismus als Kommunikation
$69.99
Constructible Sets in Real Geometry
$89.99
Challenges at the Bank for International Settlements
$109.99
Die Operationen an den Nasennebenhhlen und der angrenzenden Schdelbasis
$69.99
What We Know About CSCL
$84.99
Designing Topological Phase of Bismuth Halides and Controlling Rashba Effect in Films Studied by ARP
$129.00
Explanatory Animations in the Classroom
$54.99
Biochemistry of Biogenic Amines
$54.99
The Politicization of Ethnicity as Source of Conflict
$54.99
Controlling mit SAP
$44.99
Automatic Control with Interactive Tools
$89.00
Reactive Intermediates
$39.99
Spatial Networking in the United Physical, Virtual, and Mental World
$159.99
Stealing Time
$6.66
Ghrelin
$39.99
Protein Phosphatases and Stress Management in Plants
$169.99
Prozesse sozialer Ungleichheit
$44.99
Vertical Markets and Cooperative Hierarchies
$109.99
Auge und Allgemeinleiden. Therapie; Hygiene
$69.99
Polynomes Orthogonaux et Applications
$44.99
Operator Theory for Electromagnetics
$129.99
Politische Ethik unter Realittsbedingungen
$44.99
