Mechanizing proof: computing, risk, and trust
Auteur :
MacKenzie, Donald
Éditeur :
MIT Press Ltd
ISBN :
9780262632959
Date de publication :
30 janv. 2004
Dimensions :
22,9 x 15,2 x 2,5 cm
Poids :
635 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
USA
A sociological approach to the history of proof, as applied to and performed by computer systems.