書店で探す
書店で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 図書
- ISBN
- 07695270789780769527079 (ISBN-13)
- 出版年月日等
- c2006.
- 出版年(W3CDTF)
- 2006
- 数量
- ix, 193 p. : ill. ; 28 cm.
- 並列タイトル等
- FMCAD : formal methods in computer aided design : San Jose, California : November 12-16, 20062006 formal methods in computer aided design
- 出版地(国名コード)
- US