サイトメニューここからこのページの先頭です

ショートカットキーの説明を開始します。画面遷移や機能実行は、説明にあるショートカットキーを同時に押した後、Enterキーを押してください。ショートカットキーの説明を聞くには、Alt+0。トップ画面の表示には、Alt+1。ログインを行うには、Alt+2。簡易検索画面の表示には、Alt+3。詳細検索画面の表示には、Alt+4。障害者向け資料検索画面の表示には、Alt+5。検索結果の並び替えを行うには、Alt+6。国立国会図書館ホームページの表示には、Alt+7。検索結果の絞り込みを行うには、Alt+8。以上でショートカットキーの説明を終わります。

ナビゲーションここから

ナビゲーションここまで

本文ここから

資料種別 会議録

Software safety and security : tools for analysis and verification : NATO Advanced Study Institute on tools for analysis and verification of software safety and security : Marktoberdorf PhD summer school : Aug 2011, Bayrischzell, Germany

詳細情報

タイトル Software safety and security : tools for analysis and verification : NATO Advanced Study Institute on tools for analysis and verification of software safety and security : Marktoberdorf PhD summer school : Aug 2011, Bayrischzell, Germany
シリーズ名 NATO Science for Peace and Security Series. Series D, Information and Communication Security, 33
出版地(国名コード) NL
出版地(国名コード) US
出版地Amsterdam
出版社IOS Press
出版地Washington, DC
出版社IOS Press
出版年月日等 c2012
大きさ、容量等 ix, 387 p. : ill. ; 25 cm
注記 ISBN : 9781614990277 (print), 9781614990284 (online)
注記 ISSN : 18798292 (online)
注記 Papers
注記 Includes bibliographical references and indexes
ISBN 9781614990277
ISBN 9781614990284
ISSN 18798292
ISSN 18746268
OCLC番号 794041720
出版年(W3CDTF) 2012
件名(キーワード) Computer software--Verification--Congresses
件名(キーワード) Computer security--Congresses
NDLC M17
LCC QA76.76.V47
対象利用者 一般
資料の種別 図書
資料の種別 会議録
言語(ISO639-2形式) eng : English

本文ここまで

Copyright © 2012 National Diet Library. All Rights Reserved.

フッター ここまで