|
Books > Computing & IT > Computer programming
|
Buy Now
Types for Proofs and Programs - International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers (Paperback, 1998 ed.)
Loot Price: R1,543
Discovery Miles 15 430
|
|
|
Types for Proofs and Programs - International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers (Paperback, 1998 ed.)
Series: Lecture Notes in Computer Science, 1512
Expected to ship within 18 - 22 working days
|
This book constitutes the thoroughly revised post-workshop
proceedings of the first annual workshop held under the auspices of
the ESPRIT Working Group 21900 TYPES in Aussois, France in December
1996.
The 18 revised full papers presented in the book were carefully
reviewed and selected from the 30 papers accepted for presentation
at the workshop. All current aspects of type theory and type
systems and their applications to program verification and theorem
proving are addressed; the proof systems and theorem provers dealt
with include Coq, LEGO, and Isabelle/HOL.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
