Mechanizing Proof
Donald Mackenzie
Broschiertes Buch

Mechanizing Proof

Computing, Risk, and Trust

Versandkostenfrei!
Versandfertig in 1-2 Wochen
35,99 €
inkl. MwSt.
PAYBACK Punkte
18 °P sammeln!
A sociological approach to the history of proof, as applied to and performed by computer systems.