Spara
Types for Proofs and Programs
e-bok, 2003
Engelska
Läs i Adobe DRM-kompatibel e-boksläsareDen här e-boken är kopieringsskyddad med Adobe DRM vilket påverkar var du kan läsa den. Läs mer
- Undertitel
- International Workshop, TYPES'99, Lokeberg, Sweden, June 12-16, 1999, Selected Papers
- Redaktör
- Thierry Coquand, Peter Dybjer, Jan Smith, Bengt Nordstrom
- ISBN
- 9783540445579
- Språk
- Engelska
- Utgivningsdatum
- 2003-07-31
- Tillgängliga elektroniska format
- PDF - Adobe DRM
- Läs e-boken här
- E-boksläsare i mobil/surfplatta
- Läsplatta
- Dator
