Types for Proofs and Programs (e-bok)
Fler böcker inom
Format
E-bok
Filformat
PDF med LCP-kryptering (0.0 MB)
Om LCP-kryptering
PDF-böcker lämpar sig inte för läsning på små skärmar, t ex mobiler.
Nedladdning
Kan laddas ned under 24 månader, dock max 6 gånger.
Språk
Engelska
Utgivningsdatum
2003-07-31
Förlag
Springer Berlin Heidelberg
ISBN
9783540445579

Types for Proofs and Programs E-bok

International Workshop, TYPES'99, Lokeberg, Sweden, June 12-16, 1999, Selected Papers

E-bok (PDF, LCP),  Engelska, 2003-07-31
740
Billigast på PriceRunner
Läs i Bokus Reader för iOS och Android
Vi har inte fått in någon beskrivning av boken från förlaget. Kolla gärna upp förlagets (Springer Berlin Heidelberg) hemsida, där det kan finnas mer information.

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Fler böcker av författarna