Language:
English
繁體中文
Help
回圖書館
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Software for dependable systems = su...
~
Jackson, Daniel.
Software for dependable systems = sufficient evidence? /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Software for dependable systems/ Daniel Jackson, Martyn Thomas, and Lynette I. Millett, eds. ; Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies.
Reminder of title:
sufficient evidence? /
other author:
Millett, Lynette I.
Published:
Washington, D.C. :National Academies Press, : c2007.,
Description:
xv, 131 p. :ill. ; : 23 cm.;
Notes:
Title from e-book title screen (viewed December 13, 2007).
Subject:
Software engineering. -
Online resource:
Connect to MyiLibrary resource
ISBN:
9786610941445
Software for dependable systems = sufficient evidence? /
Software for dependable systems
sufficient evidence? /[electronic resource] :Daniel Jackson, Martyn Thomas, and Lynette I. Millett, eds. ; Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies. - Washington, D.C. :National Academies Press,c2007. - xv, 131 p. :ill. ;23 cm.
Title from e-book title screen (viewed December 13, 2007).
Includes bibliographical references (p. 110-116).
Electronic reproduction.
UK :
MyiLibrary,
2007
Available via World Wide Web.
ISBN: 9786610941445Subjects--Topical Terms:
73134
Software engineering.
Index Terms--Genre/Form:
96803
Electronic books.
LC Class. No.: QA76.76.R44 / N35 2007eb
Dewey Class. No.: 005
Software for dependable systems = sufficient evidence? /
LDR
:01174nmm 22002293a 4500
001
180979
006
m d
007
cr zn |
008
160308s2007 dcua sb 000 0 eng d
020
$a
9786610941445
020
$z
0309103940 (Paper)
035
$a
094144
$b
MIL
035
$a
cis6213065
040
$a
UK-RwCLS
$c
UK-RwCLS
050
1 4
$a
QA76.76.R44
$b
N35 2007eb
082
0 4
$a
005
$2
2
245
0 0
$a
Software for dependable systems
$h
[electronic resource] :
$b
sufficient evidence? /
$c
Daniel Jackson, Martyn Thomas, and Lynette I. Millett, eds. ; Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies.
260
$a
Washington, D.C. :
$c
c2007.
$b
National Academies Press,
300
$a
xv, 131 p. :
$b
ill. ;
$c
23 cm.
500
$a
Title from e-book title screen (viewed December 13, 2007).
504
$a
Includes bibliographical references (p. 110-116).
533
$a
Electronic reproduction.
$b
UK :
$c
MyiLibrary,
$d
2007
$n
Available via World Wide Web.
$n
Access may be limited to MIL affiliated libraries.
650
0
$a
Software engineering.
$3
73134
650
0
$a
Systems software
$x
Reliability.
$3
353347
650
0
$a
Computer software
$x
Reliability.
$3
92539
655
7
$a
Electronic books.
$2
local.
$3
96803
700
1
$a
Millett, Lynette I.
$3
353346
700
1
$a
Thomas, Martyn.
$3
353345
700
1
$a
Jackson, Daniel.
$3
353344
710
2
$a
MyiLibrary.
$3
311848
710
2
$a
National Research Council (U.S.).
$b
Committee on Certifiably Dependable Software Systems.
$3
353343
856
4
$z
Connect to MyiLibrary resource
$u
http://www.myilibrary.com?id=94144
based on 0 review(s)
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login