國立虎尾科技大學 |

登入

回首頁

Software for dependable systems = su...

National Research Council (U.S.).

Software for dependable systems = sufficient evidence? /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	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.
其他題名:	sufficient evidence? /
其他作者:	Millett, Lynette I.
出版者:	Washington, D.C. :National Academies Press, : c2007.,
面頁冊數:	xv, 131 p. :ill. ; : 23 cm.;
附註:	Title from e-book title screen (viewed December 13, 2007).
標題:	Software engineering. -
電子資源:	Connect to MyiLibrary resource
ISBN:	9786610941445

Software for dependable systems = sufficient 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

Available via World Wide Web.

ISBN: 9786610941445Subjects--Topical Terms:

562952
Software engineering.
Index Terms--Genre/Form:

554714
Electronic books.

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

Dewey Class. No.: 005

Software for dependable systems = sufficient evidence? /
LDR:01174nam 22002293a 4500 001 562548
006 m d
007 cr zn |
008 090326s2007 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 $a Software engineering. $3 562952
650 $a Systems software $x Reliability. $3 566724
650 $a Computer software $x Reliability. $3 566723
655 $a Electronic books. $2 local $3 554714
700 $a Millett, Lynette I. $3 566727
700 $a Thomas, Martyn. $3 566726
700 $a Jackson, Daniel. $3 566725
710 $a MyiLibrary. $3 554718
710 $a National Research Council (U.S.). $b Committee on Certifiably Dependable Software Systems. $3 566728
856 4 $z Connect to MyiLibrary resource $u http://www.myilibrary.com?id=94144

筆 0 讀者評論

多媒體

評論

新增評論分享你的心得

Export

取書館別