Take a photo of a barcode or cover
Read With Others
Book Information
298 pages • paperback • 7 editions
ISBN/UID: 9783540617808
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 02 Oct 1996
Description
This volume contains a refereed selection of revised full papers chosen from the contributions presented during the Third Annual Workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs. The workshop ...
Community Reviews
Content Warnings
298 pages • paperback
ISBN/UID: 9783540617808
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 02 Oct 1996
Description
This volume contains a refereed selection of revised full papers chosen from the contributions presented during the Third Annual Workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs. The workshop ...
Community Reviews
Content Warnings