Mechanizing proof computing, risk, and trust

Mechanizing proof computing, risk, and trust

書目詳細資料
主要作者: MacKenzie, Donald A.
格式: 圖書
語言:English
出版: Cambridge, Mass. MIT Press c2001.
叢編:Inside technology
主題:
Computer systems > Reliability.
Computers and civilization.
在線閱讀:Table of contents