國立虎尾科技大學 |

登入

回首頁

Software for dependable systems = su...

Thomas, Martyn.

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? /
其他作者:	Thomas, Martyn.
團體作者:	National Research Council (U.S.).
出版者:	Washington, D.C. :National Academies Press, : c2007.,
面頁冊數:	xv, 131 p. :ill. :
標題:	Systems software - Reliability. -
電子資源:	Click to View

Software for dependable systems = sufficient evidence? /
National Research Council (U.S.).Committee on Certifiably Dependable Software Systems.

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.

Includes bibliographical references (p. 110-116).

Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.

Subjects--Topical Terms:

566724
Systems software
--Reliability.Index Terms--Genre/Form:

554714
Electronic books.

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

Dewey Class. No.: 005

Software for dependable systems = sufficient evidence? /
LDR:01310nam 2200289Ia 4500 001 1076312
003 MiAaPQ
005 20200520144314.0
006 m o d |
007 cr cn|||||||||
008 221104s2007 dcua sb 000 0 eng d
020 $z 0309103940
020 $z 9780309103947
035 $a (MiAaPQ)EBC3378266
035 $a (Au-PeEL)EBL3378266
035 $a (CaPaEBR)ebr10194168
035 $a (CaONFJC)MIL94144
035 $a (OCoLC)923277140
035 $a EBC3378266
040 $a MiAaPQ $c MiAaPQ $d MiAaPQ
050 4 $a QA76.76.R44 $b N35 2007
082 0 4 $a 005 $2 22
110 2 $a National Research Council (U.S.). $b Committee on Certifiably Dependable Software Systems. $3 566728
245 1 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. : $b National Academies Press, $c c2007.
300 $a xv, 131 p. : $b ill.
504 $a Includes bibliographical references (p. 110-116).
533 $a Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
650 0 $a Systems software $x Reliability. $3 566724
650 0 $a Software engineering. $3 562952
650 0 $a Computer software $x Reliability. $3 566723
655 4 $a Electronic books. $2 local $3 554714
700 1 $a Thomas, Martyn. $3 1077635
700 1 $a Millett, Lynette I. $3 1380070
700 1 $a Jackson, Daniel. $3 1228733
710 2 $a ProQuest (Firm) $3 1133097
856 4 0 $u https://ebookcentral.proquest.com/lib/nfu/detail.action?docID=3378266 $z Click to View

筆 0 讀者評論

多媒體

評論

新增評論分享你的心得

Export

取書館別