Mechanizing proof
Subtitle: computing, risk, and trust
By: Donald MacKenzie.
Series: Inside technology
Publisher: MIT Press
Place of publication: Cambridge, Mass
Number of pages: 427
Subjects: Computer systems -- Reliability; Computers and civilization
Notes: Includes bibliographical references (p. [335]-418) and index.