Mechanisierender Beweis: Computer, Risiko und Vertrauen, Taschenbuch von MacKenzie, Donal...
49,20 €
Mechanizing Proof : Computing, Risk, and Trust, Paperback by MacKenzie, Donald A., ISBN 0262632950, ISBN-13 9780262632959, Brand New, Free P&P in the UK A sociological approach to the history of proof, as applied to and performed by computer systems.
Jetzt bei Ebay:
![Produktbild - Mechanizing Proof: Computing, Risk, and Trust [Inside Technology]](https://i.ebayimg.com/thumbs/images/g/~a0AAOSw32lYpHJ7/s-l140.jpg)
