( en | de | ru )

 

Disambiguation of "MacKenzie, Donald"

Author of the publication

copydeleteadd this publication to your clipboard
Mechanizing Proof: Computing, Risk, and Trust

. The MIT Press, (October 2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Graham MacKenzie

Natalia Mackenzie

Peter MacKenzie

Colin MacKenzie

Colin MacKenzie

 

Other publications of authors with the same name

Why "the social aspects of science and technology" is not just an optional extra.. SIGCAS Comput. Soc., 15 (4): 2-6 (1986)An engine, not a camera: how financial models shape markets. Inside Technology MIT Press, Cambridge, Mass., (April 2006)A View from the Sonnenbichl: On the Historical Sociology of Software and System Dependability.. ICHC, page 97-122. Springer, (2000)The social limits of speed: development and use of supercomputers., and . IEEE Ann. Hist. Comput., 16 (1): 46-61 (1994)Mechanizing Proof: Computing, Risk, and Trust. The MIT Press, (October 2001)The Big, Bad Wolf and the Rational Market: Portfolio Insurance, the 1987 Crash and the Performativity of Economics. Economy and Society, 33 (3): 303--334 (2004)doi: 10.1080/0308514042000225680.Computer-related accidental death: an empirical exploration. Science and Public Policy, 21 (4): 233--248 (August 1994)Experiences in applying formal methods to the analysis of software and system requirements., , , , , , , , , and 1 other author(s). WIFT, page 30-43. IEEE Computer Society, (1995)Inventing accuracy: a historical sociology of nuclear missile Guidance. Inside Technology MIT Press, Cambridge, Mass., Reprint edition, (1993)The Social shaping of technology how the refrigerator got its hum, and . Open University Press, Milton Keynes, (1985)