書店で探す
書店で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 図書
- ISBN
- 076952222X
- 著者標目
- 出版年月日等
- c2004.
- 出版年(W3CDTF)
- 2004
- 数量
- xii, 428 p. : ill. ; 28 cm.
- 並列タイトル等
- SEFM 2004 : proceedings of the 2nd international conference on software engineering and formal methods : September 28-30, 2004 : Beijing, China
- 出版地(国名コード)
- US