Spar
Types for Proofs and Programs
e-bok, 2003
Engelsk
Les i Adobe DRM-kompatibelt e-bokleserDenne e-boka er kopibeskyttet med Adobe DRM som påvirker hvor du kan lese den. Les mer
- Undertittel
- International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
- Redaktør
- Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack
- ISBN
- 9783540458425
- Språk
- Engelsk
- Utgivelsesdato
- 3.8.2003
- Tilgjengelige elektroniske format
- PDF - Adobe DRM
- Les e-boka her
- E-bokleser i mobil/nettbrett
- Lesebrett
- Datamaskin
