E-bok, Engelska, 2003
Types for Proofs and Programs
International Workshop, TYPES''99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
Av Jan Smith, Bengt Nordstrom, Peter Dybjer, Thierry Coquand
728 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Beskrivning
Produktinformation
- Utgivningsdatum: 2003-07-31
- Språk: Engelska
- Filformat: PDF
- Kopieringsskydd: LCP
- ISBN: 9783540445579
- Förlag: Springer Berlin Heidelberg
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.