Mechanizing proof computing, risk, and trust

Mechanizing proof computing, risk, and trust

Bibliografiska uppgifter
Huvudupphovsman: MacKenzie, Donald A.
Materialtyp: Bok
Språk:English
Publicerad: Cambridge, Mass. MIT Press c2001.
Serie:Inside technology
Ämnen:
Computer systems > Reliability.
Computers and civilization.
Länkar:Table of contents