Take a photo of a barcode or cover
Read With Others
Book Information
395 pages • paperback • 7 editions
ISBN/UID: 9783540580850
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 20 May 1994
Description
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 ...
Community Reviews
Content Warnings
395 pages • paperback
ISBN/UID: 9783540580850
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 20 May 1994
Description
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 ...
Community Reviews
Content Warnings