Types for Proofs and Programs - Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers
- Författare
- Netherlands), TYPES 2002 (2002 : Berg en Dal TYPES 2002
- (Edited by Herman Geuvers, Freek Wiedijk.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Berlin Heidelberg, Imprint: Springer | 2003 | Tyskland, Berlin, Heidelberg | 1 online resource (CCCXLIV, 336 sidor.) | |
| Springer | cop. 2003 | Tyskland, Berlin | 330 sidor. ill. | |