Engineering dependable software systems : NATO Advanced Study Institute summer school Marktoberdorf 2012 : Jul 2012, Marktoberdorf, Germany.

• Material Type: 図書
• ISBN: 9781614992066 (print); 1614992061
• ISSN (series): 1874-6268
• Title: Engineering dependable software systems : NATO Advanced Study Institute summer school Marktoberdorf 2012 : Jul 2012, Marktoberdorf, Germany.
• Series Title: NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 34
• Title Heading: NATO science for peace and security series. Sub-series D, Information and communication security ; vol. 34.
• Author Heading: NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany); Broy, M., 1949-; Peled, Doron A., 1962-; Kalus, Georg.
• Publication, Distribution, etc.: Amsterdam : IOS Press (出版)
• Publication Date: [2013]; 著作権日付 : ©2013
• Publication Date (W3CDTF): 2013
• Extent: ix, 365 pages
• Other physical details: illustrations
• Size: 25 cm.
• Place of Publication (Country Code): NL
• Text Language Code: eng
• Content Type: txt : text
• Media Type: n : unmediated
• Carrier Type: nc : volume
• Subject Heading: 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
• Target Audience: 一般
• Note (General): Papers.; "... the NATO Advanced Study Institute (ASI) Summer School entitled Engineering Dependable Software Systems, held in Marktoberdorf, Germany, ..."--Backcover.
• Note (Bibliography): Includes bibliographical references and indexes.
• Holding library: 国立国会図書館
• Call No.: M17-15-1429
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 026187145; http://id.ndl.go.jp/bib/026187145
• LC Control Number: 2013937863; https://lccn.loc.gov/2013937863
• OCLC No.: 851413550; https://www.worldcat.org/oclc/851413550
• Cataloging Rule: RDA
• Bibliographic Record Category (NDL): 215

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