Engineering dependable software systems.

• 資料種別: 図書
• ISBN: 9781614992066 (print); 1614992061
• ISSN（シリーズ）: 1874-6268
• タイトル: Engineering dependable software systems.
• シリーズタイトル: NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 34
• タイトル標目: NATO science for peace and security series. Sub-series D, Information and communication security ; vol. 34.
• 著者標目: NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany); Broy, M., 1949-; Peled, Doron A., 1962-; Kalus, Georg.
• 出版事項: Amsterdam : IOS Press (出版)
• 出版年月日等: [2013]; 著作権日付 : ©2013
• 出版年（W3CDTF）: 2013
• 数量: ix, 365 pages
• 形態の詳細: illustrations
• 大きさ: 25 cm.
• その他のタイトル: NATO Advanced Study Institute summer school Marktoberdorf 2012 : Jul 2012, Marktoberdorf, Germany.
• 出版地（国名コード）: NL
• 本文の言語コード: eng
• 表現種別: txt : text
• 機器種別: n : unmediated
• キャリア種別: nc : volume
• 件名標目: Computer security--Congresses.; Computer software--Development--Security measures--Congresses.; Computer networks--Security measures--Congresses.; Cyber intelligence (Computer security)--Congresses.; Computer software--Verification--Congresses.; Computer systems--Verification--Congresses.
• LCC: QA76.76.V47
• NDLC: M17
• 対象利用者: 一般
• 一般注記: Papers.; "... the NATO Advanced Study Institute (ASI) Summer School entitled Engineering Dependable Software Systems, held in Marktoberdorf, Germany, ..."--Backcover.
• 書誌注記: Includes bibliographical references and indexes.
• 所蔵機関: 国立国会図書館
• 請求記号: M17-15-1429
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 026187145; http://id.ndl.go.jp/bib/026187145
• LC control number: 2013937863; https://lccn.loc.gov/2013937863
• OCLC番号: 851413550; https://www.worldcat.org/oclc/851413550
• 目録規則: RDA
• 整理区分コード: 215

• 要約等: "Because almost all technical systems are more or less interfaced with software these days, attacks against computer systems can cause considerable ec...