<図書>

Software for dependable systems : sufficient evidence? / Daniel Jackson, Martyn Thomas, and Lynette I. Millett, editors ; Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
工2・図書室
007.63:J11 1011729603
2007 平成30年度シラバス掲載図書

書誌詳細を非表示

出版者 Washington, D.C. : National Academies Press
出版年 c2007
大きさ xv, 131 p. : ill. ; 23 cm
一般注記 Includes bibliographical references (p. 110-116)
Also available via the Internet
HTTP:URL=http://www.loc.gov/catdir/toc/fy1001/2008531001.html Information=Table of contents only
HTTP:URL=http://books.nap.edu/catalog/11923.html
著者標目 *National Research Council (U.S.). Committee on Certifiably Dependable Software Systems
Jackson, Daniel
Thomas, Martyn, 1948-
Millett, Lynette I.
件 名 LCSH:Computer software -- Reliability
LCSH:Systems software -- Reliability
LCSH:Software engineering
分 類 LCC:QA76.76.R44
本文言語 英語
書誌ID 2003275884
ISBN 0309103940
NCID BB08277847 WCLINK

ページトップ