Donald Mackenzie: Mechanizing Proof, Kartoniert / Broschiert
Mechanizing Proof
Buch
- Computing, Risk, and Trust
lieferbar innerhalb 2-3 Wochen
(soweit verfügbar beim Lieferanten)
(soweit verfügbar beim Lieferanten)
Aktueller Preis: EUR 49,38
- Verlag:
- MIT Press, 01/2004
- Einband:
- Kartoniert / Broschiert, Paperback
- Sprache:
- Englisch
- ISBN-13:
- 9780262632959
- Artikelnummer:
- 11811834
- Umfang:
- 440 Seiten
- Gewicht:
- 633 g
- Maße:
- 229 x 152 mm
- Stärke:
- 24 mm
- Erscheinungstermin:
- 30.1.2004
- Hinweis
-
Achtung: Artikel ist nicht in deutscher Sprache!
Klappentext
A sociological approach to the history of proof, as applied to and performed by computer systems.
Donald Mackenzie
Mechanizing Proof
Aktueller Preis: EUR 49,38
