Mechanizing Proof: Computing, Risk, and Trust, by D. MacKenzie. Cambridge, MA: MIT Press, 2001. xi + 427 pp. $50.00. ISBN 0-262-13393-8.

Author: Restivo Sal  

Publisher: Routledge Ltd

ISSN: 1087-6537

Source: The Information Society, Vol.20, Iss.1, 2004-01, pp. : 67-68

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content