書店で探す
書店で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 図書
- タイトルよみ
- Publications for the " Formal Methods and Intelligent Software Engineering Environments(FM-INSEE)
- 著者・編者
- 劉, 少英, 広島市立大学
- 著者標目
- 劉, 少英 リュウ, ショウエイ
- 出版年月日等
- 1996-1998
- 出版年(W3CDTF)
- 1996
- 数量
- 冊
- その他のタイトル
- 研究種目 国際学術研究