Types for proofs and programs - international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers
- Författare
- Netherlands) TYPES 2002 (2002 : Berg en Dal
- (Herman Geuvers, Freek Wiedijk (eds.).)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 2003 | Tyskland, Berlin | 330 sidor. ill. | |