Mechanizing proof computing, risk, and trust

Bibliographic Details
Main Author:	MacKenzie, Donald A.
Format:	Book
Language:	English
Published:	Cambridge, Mass. MIT Press c2001.
Series:	Inside technology
Subjects:	Computer systems > Reliability. Computers and civilization.
Online Access:	Table of contents