書店で探す
書店で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 図書
- ISBN
- 9781424456178
- 著者標目
- 出版年月日等
- c2009.
- 出版年(W3CDTF)
- 2009
- 数量
- x, 79 p. : ill. ; 28 cm.
- 並列タイトル等
- 2009 4th South-East European workshop on formal methods : (SEEFM 2009) : Thessaloniki, Greece : 4-5 December 2009
- 出版地(国名コード)
- US