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

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

ナビゲーションここから

ナビゲーションここまで

本文ここから

資料種別 会議録

Software and systems safety : specification and verification : NATO Advanced Study Institute on software and systems safety: specification and verification : 31st international summer school Marktoberdorf 2010 on software and systems safety: specification and verification : Aug 2010, Marktoberdorf, Germany

Hoare, Charles Antony Richard, 1934-

詳細情報

タイトル Software and systems safety : specification and verification : NATO Advanced Study Institute on software and systems safety: specification and verification : 31st international summer school Marktoberdorf 2010 on software and systems safety: specification and verification : Aug 2010, Marktoberdorf, Germany
著者標目 Hoare, Charles Antony Richard, 1934-
シリーズ名 NATO Science for Peace and Security Series. Series D, Information and Communication Security, 30
出版地(国名コード) NL
出版地(国名コード) US
出版地Amsterdam
出版社IOS Press
出版地Washington, DC
出版社IOS Press
出版年月日等 c2011
大きさ、容量等 ix, 285 p. : ill. ; 25 cm
注記 ISBN : 9781607507109 (print), 9781607507116 (online)
注記 ISSN : 18798292 (online)
注記 Papers
注記 Includes bibliographical references and indexes
ISBN 9781607507109
ISBN 9781607507116
ISSN 18798292
ISSN 18746268
LC番号 2011922667
OCLC番号 705518941
出版年(W3CDTF) 2011
件名(キーワード) Computer security--Congresses
件名(キーワード) Computer software--Verification--Congresses
件名(キーワード) Software engineering--Congresses
NDLC M17
LCC QA76.9.A25
対象利用者 一般
資料の種別 図書
資料の種別 会議録
言語(ISO639-2形式) eng : English

本文ここまで

Copyright © 2012 National Diet Library. All Rights Reserved.

フッター ここまで