E-bok, Engelska, 2010
Interactive Theorem Proving
Av Lawrence C. Paulson, Matt Kaufmann
1470 kr
Skickas måndag 12/10
Beskrivning
Produktinformation
- Utgivningsdatum: 2010-07-13
- Format: E-bok
- Språk: Engelska
- Förlag: Springer Berlin Heidelberg
- ISBN: 9783642140525
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.