查詢 text:Verificatie. ，共 1 筆
查詢再細分
-
- 出版年
- 2001(1)
-
- 語言
- 英語(1)
-
- 作者
- MacKenzie, Donald A.(1)
-
- 資料類型
- 電子書(1)
-
11 0 0 0 0Mechanizing proof :computing, risk, and trust
- 作者: MacKenzie, Donald A.
- 出版: Cambridge, Mass. : MIT Press ©2001.
- 資料類型: 電子書