Mechanizing proof : computing, risk, and trust / Donald MacKenzie.

  • MacKenzie, Donald A.
Date:
[2001], ©2001
  • Books

About this work

Publication/Creation

Cambridge, Mass. : MIT Press, [2001], ©2001.

Physical description

xi, 427 pages : illustrations ; 24 cm.

Series

Contributors

Bibliographic information

Includes bibliographical references (p. [335]-418) and index.

Languages

Subjects

Where to find it

  • LocationStatusAccess
    Closed stores
    M21554

Permanent link

Identifiers

ISBN

  • 0262133938
  • 9780262133937
  • 0262632950
  • 9780262632959