図書

Formal methods for industrial critical systems : 13th international workshop, FMICS 2008 : L'Aquila, Italy, September 15-16, 2008 : revised selected papers. : Sep 2008, L'Aquila, Italy. (Lecture Notes in Computer Science ; 5596)

図書を表すアイコン

Formal methods for industrial critical systems : 13th international workshop, FMICS 2008 : L'Aquila, Italy, September 15-16, 2008 : revised selected papers. : Sep 2008, L'Aquila, Italy.

(Lecture Notes in Computer Science ; 5596)

国立国会図書館請求記号
M17-10-1593
国立国会図書館書誌ID
000010619837
資料種別
図書
著者
ERCIM. Working Group on Formal Methods for Industrial Critical Systems.ほか
出版者
Springer
出版年
c2009.
資料形態
ページ数・大きさ等
x, 231 p. : ill. ; 24 cm.
NDC
-
すべて見る

資料に関する注記

一般注記:

Abstracts and revised selected papers.

書店で探す

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

資料種別
図書
ISBN
9783642032394 (ISBN-13 : pbk.)
3642032397 (pbk.)
ISSN(シリーズ)
0302-9743
出版年月日等
c2009.
出版年(W3CDTF)
2009