

Types for Proofs and Programs
- Undertitel
- International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
- ISBN
- 9783540481676
- Språk
- Engelska
- Utgivningsdatum
- 2003-06-29
- Tillgängliga elektroniska format
- PDF - Adobe DRM
- Läs e-boken här
- E-boksläsare i mobil/surfplatta
- Läsplatta
- Dator
