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.
