E-bok, Engelska, 2006
Types for Proofs and Programs
Av Benjamin Werner, Christine Paulin-Mohring, Jean-Christophe Filliatre
739 kr
Skickas måndag 12/10
Beskrivning
Produktinformation
- Utgivningsdatum: 2006-01-20
- Format: E-bok
- Språk: Engelska
- Förlag: Springer Berlin Heidelberg
- ISBN: 9783540314295
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.