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

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

ナビゲーションここから

ナビゲーションここまで

本文ここから

資料種別 会議録

FM 2009: formal methods : second world congress : Eindhoven, the Netherlands, November 2-6, 2009 : proceedings. : 16th international symposium on formal methods : Nov 2009, Eindhoven, the Netherlands

詳細情報

タイトル FM 2009: formal methods : second world congress : Eindhoven, the Netherlands, November 2-6, 2009 : proceedings. : 16th international symposium on formal methods : Nov 2009, Eindhoven, the Netherlands
シリーズ名 Lecture Notes in Computer Science, 5850
出版地(国名コード) DE
出版地Berlin
出版社Springer
出版年月日等 c2009
大きさ、容量等 xvii, 820 p. : ill. ; 24 cm
注記 ISBN : 9783642050886 (ISBN-13 : pbk.), 3642050883 (pbk.)
注記 Selected papers
注記 Includes bibliographical references and author index
ISBN 9783642050886
ISBN 3642050883
ISSN 03029743
OCLC番号 489323525
別タイトル FM 2009: formal methods : 2nd world congress : Eindhoven, the Netherlands, November 2-6, 2009 : proceedings
出版年(W3CDTF) 2009
件名(キーワード) Computer software -- Development -- Congresses
件名(キーワード) Formal methods (Computer science) -- Congresses
件名(キーワード) System design -- Mathematics -- Congresses
NDLC M17
LCC QA76.76.D47
資料の種別 図書
資料の種別 会議録
言語(ISO639-2形式) eng : English

本文ここまで

Copyright © 2012 National Diet Library. All Rights Reserved.

フッター ここまで