Software safety and security : tools for analysis and verification

著者

• NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 : Bayrischzell, Germany)
• Nipkow, Tobias
• Grumberg, Orna
• Hauptmann, Benedikt

書誌事項

Software safety and security : tools for analysis and verification

edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann

（NATO science for peace and security series, v. 33 . D: Information and communication security）

IOS Press, c2012

• print

注記

"Proceedings of the NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security, Bayrischzell, Germany, 2-14 August 2011"--T.p. verso

Includes bibliographical references and indexes

詳細情報

• NII書誌ID(NCID): BB14112885
• ISBN:
  • 9781614990277
• LCCN: 2012937823
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Amsterdam
• ページ数/冊数: ix, 387 p.
• 大きさ: 25 cm
• 親書誌ID:
  • BA83433596