Mechanizing proof computing, risk, and trust

Bibliografiske detaljer
Hovedforfatter:	MacKenzie, Donald A.
Format:	Bog
Sprog:	English
Udgivet:	Cambridge, Mass. MIT Press c2001.
Serier:	Inside technology
Fag:	Computer systems > Reliability. Computers and civilization.
Online adgang:	Table of contents