國立高雄大學圖資館 |

Language: English

Back

Software for dependable systemssuffi...

Jackson, Daniel.

Software for dependable systemssufficient evidence? /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Software for dependable systemsDaniel 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:	Jackson, Daniel.
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:	Computer softwareReliability.
Online resource:	Connect to MyiLibrary resource
ISBN:	9786610941445

Software for dependable systemssufficient evidence? /
Software for dependable systemssufficient 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

Access may be limited to MIL affiliated libraries.

ISBN: 9786610941445Subjects--Topical Terms:

199854
Computer software
--Reliability.Index Terms--Genre/Form:

214472
Electronic books.

LC Class. No.: QA76.76.R44 / N35 2007eb

Dewey Class. No.: 005

Software for dependable systemssufficient evidence? /
LDR:01181nmm _22002173a_450 001 193692
006 m d
007 cr zn |
008 090528s2007 dcua sb 000 0 eng d
020 $a 9786610941445
020 $z 0309103940 (Paper)
035 $a 00348254
040 $a UK-RwCLS $c UK-RwCLS
050 1 4 $a QA76.76.R44 $b N35 2007eb
082 0 4 $2 2 $a 005
245 0 0 $a Software for dependable systems $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. $h [electronic resource] :
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 Access may be limited to MIL affiliated libraries. $n Available via World Wide Web.
650 # 0 $a Computer software $x Reliability. $3 199854
650 # 0 $a Systems software $x Reliability. $3 294933
650 # 0 $a Software engineering. $3 184729
655 # 0 $a Electronic books. $2 local. $3 214472
700 0 # $a Jackson, Daniel. $3 294929
700 0 # $a Thomas, Martyn. $3 294930
700 0 # $a Millett, Lynette I. $3 294931
710 0 # $a National Research Council (U.S.). $b Committee on Certifiably Dependable Software Systems. $3 294932
710 0 # $a MyiLibrary. $3 286823
856 4 # $u http://libsw.nuk.edu.tw:81/login?url=http://www.myilibrary.com?id=94144 $z Connect to MyiLibrary resource