Häftad, Engelska, 2004
Mechanizing Proof
Computing, Risk, and Trust
592 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Beskrivning
Produktinformation
- Utgivningsdatum: 2004-01-30
- Mått: 152 x 229 x 25 mm
- Vikt: 635 g
- Format: Häftad
- Språk: Engelska
- Serie: Inside Technology
- Antal sidor: 440
- Förlag: MIT Press Ltd
- ISBN: 9780262632959
- Utmärkelser: Winner of Winner of the 2003 Robert K. Merton Book Award presented by the Science, Knowledge, and Technology section of the American Sociological Association. 2003
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.