Logics and languages for reliability and security. : NATO Advanced Study Institute on logics and languages for reliability and security : 2009 summer school on formal logical methods for system security and correctness : 30th international summer school : Marktoberdorf summer school : Aug 2009, Marktoberdorf, Germany.

• 資料種別: 図書
• ISBN: 9781607500995 (print); 9781607501008 (online)
• ISSN（シリーズ）: 1874-6268
• タイトル: Logics and languages for reliability and security. : NATO Advanced Study Institute on logics and languages for reliability and security : 2009 summer school on formal logical methods for system security and correctness : 30th international summer school : Marktoberdorf summer school : Aug 2009, Marktoberdorf, Germany.
• シリーズタイトル: NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 25
• タイトル標目: NATO science for peace and security series. Sub-series D, Information and communication security ; v. 25.
• 著者標目: Esparza, Javier.; Spanfelner, Bernd.; Grumberg, Orna.; NATO Advanced Study Institute on Logics and Languages for Reliability and Security (2009 : Marktoberdorf, Germany)
• 出版事項: Amsterdam : IOS Press
• 出版年月日等: c2010.
• 出版年（W3CDTF）: 2010
• 数量: ix, 325 p. : ill. ; 25 cm.
• 出版地（国名コード）: NL
• 本文の言語コード: eng
• 件名標目: Computer systems -- Reliability -- Congresses.; Computer security -- Congresses.; Computer logic -- Congresses.
• LCC: QA76.76
• DDC: 004
• NDLC: M17
• 一般注記: Papers.
• 書誌注記: Includes bibiliographical reference and indexes.
• 所蔵機関: 国立国会図書館
• 請求記号: M17-11-3494
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000011234626; http://id.ndl.go.jp/bib/000011234626
• OCLC番号: 567148833; https://www.worldcat.org/oclc/567148833
• 整理区分コード: 215