Types for Proofs and Programs International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers
Heftet /
1996
/ Engelsk
Produktdetaljer
ISBN
9783540617808
Publisert
1996-10-02
Utgiver
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Høyde
235 mm
Bredde
155 mm
Aldersnivå
Research, UP, P, 05, 06
Språk
Product language
Engelsk
Format
Product format
Heftet
Antall sider
10
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.
Les mer
Springer Book Archives
Springer Book Archives
Produktdetaljer
ISBN
9783540617808
Publisert
1996-10-02
Utgiver
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Høyde
235 mm
Bredde
155 mm
Aldersnivå
Research, UP, P, 05, 06
Språk
Product language
Engelsk
Format
Product format
Heftet
Antall sider
10