語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Mechanizing proof = computing, risk,...
~
NetLibrary, Inc.
FindBook
Google Book
Amazon
博客來
Mechanizing proof = computing, risk, and trust /
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Mechanizing proof/ Donald MacKenzie.
其他題名:
computing, risk, and trust /
作者:
MacKenzie, Donald A.
出版者:
Cambridge, Mass. :MIT Press, : c2001.,
面頁冊數:
xi, 427 p. :ill. ;24 cm.
叢書名:
Inside technology
標題:
Computer systems - Reliability. -
電子資源:
http://www.netLibrary.com/urlapi.asp?action=summary&v=1&bookid=74992An electronic book accessible through the World Wide Web; click for information
ISBN:
0585436738 (electronic bk.)
Mechanizing proof = computing, risk, and trust /
MacKenzie, Donald A.
Mechanizing proof
computing, risk, and trust /[electronic resource] :Donald MacKenzie. - Cambridge, Mass. :MIT Press,c2001. - xi, 427 p. :ill. ;24 cm. - Inside technology.
Includes bibliographical references (p. [335]-418) and index.
Electronic reproduction.
Boulder, Colo. :
NetLibrary,
2003.
Available via World Wide Web.
ISBN: 0585436738 (electronic bk.)Subjects--Topical Terms:
805512
Computer systems
--Reliability.Index Terms--Genre/Form:
542853
Electronic books.
LC Class. No.: QA76.76.R44 / M36 2001eb
Dewey Class. No.: 004/.2/1
Mechanizing proof = computing, risk, and trust /
LDR
:01040nam a2200253 a 45
001
753827
003
OCoLC
005
20080128
006
m d
007
cr cn-
008
080128s2001 maua sb 001 0 eng d
020
$a
0585436738 (electronic bk.)
035
$a
ocm51959172
040
$a
N
$c
N
049
$a
AMFA
050
1 4
$a
QA76.76.R44
$b
M36 2001eb
082
0 4
$a
004/.2/1
$2
21
100
$a
MacKenzie, Donald A.
$3
540210
245
1 0
$a
Mechanizing proof
$h
[electronic resource] :
$b
computing, risk, and trust /
$c
Donald MacKenzie.
260
$a
Cambridge, Mass. :
$c
c2001.
$b
MIT Press,
300
$a
xi, 427 p. :
$b
ill. ;
$c
24 cm.
440
0
$a
Inside technology
504
$a
Includes bibliographical references (p. [335]-418) and index.
533
$a
Electronic reproduction.
$b
Boulder, Colo. :
$c
NetLibrary,
$d
2003.
$n
Available via World Wide Web.
$n
Access may be limited to NetLibrary affiliated libraries.
650
$a
Computer systems
$x
Reliability.
$3
805512
650
$a
Computers and civilization.
$3
524981
650
$a
Ordinateurs et civilisation.
$3
769879
650
$a
Syst墈mes informatiques
$x
Fiabilit歋.
$3
870897
655
$a
Electronic books.
$2
lcsh
$3
542853
710
$a
NetLibrary, Inc.
$3
542851
856
4
$3
Bibliographic record display
$u
http://www.netLibrary.com/urlapi.asp?action=summary&v=1&bookid=74992
$z
An electronic book accessible through the World Wide Web; click for information
994
$a
92
$b
AMF
筆 0 讀者評論
館藏地:
全部
電子資源
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
W9023631
電子資源
11.線上閱覽_V
電子書
EB
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
評論
新增評論
分享你的心得
Export
取書館
處理中
...
變更密碼
登入