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

Saved in:
Bibliographic Details
Main Author: MacKenzie, Donald A.
Format: Book
Published: Cambridge, Mass. : MIT Press, 2004, c2001.
Edition:MIT Press pbk. ed.
Series:Inside technology.
Tags: Add Tag
No Tags, Be the first to tag this record!

Pilkington Library - Pilkington Main Collection

Call Number: 004.21/MAC
Copy [0404300820] Available