Language:
English
繁體中文
Help
回圖書館首頁
手機版館藏查詢
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Linked to FindBook
Google Book
Amazon
博客來
Mechanizing proof = computing, risk, and trust /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Mechanizing proof/ Donald MacKenzie.
Reminder of title:
computing, risk, and trust /
Author:
MacKenzie, Donald A.
Published:
Cambridge, Mass. :MIT Press, : c2001.,
Description:
xi, 427 p. :ill. ;24 cm.
Series:
Inside technology
Subject:
Computer systems - Reliability. -
Online resource:
https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=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
:01075nmm a2200265 a 45
001
753827
003
OCoLC
005
20080128
006
m d
007
cr cn-
008
250516s2001 maua sb 001 0 eng d
020
$a
0585436738 (electronic bk.)
035
$a
ocm51959172
035
$a
753827
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
https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=74992
$z
An electronic book accessible through the World Wide Web; click for information
994
$a
92
$b
AMF
based on 0 review(s)
Location:
ALL
電子資源
Year:
Volume Number:
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
W9023631
電子資源
11.線上閱覽_V
電子書
EB
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login