書店で探す
書店で探す
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 図書
- タイトルよみ
- フルマイ シヨウ ニ モトズク モンダイ モデル ノ コウチク ト ケンショウ
- 著者・編者
- 二木厚吉, 北陸先端科学技術大学院大学 [著]
- 著者標目
- 二木, 厚吉 フタツギ, コウキチ北陸先端科学技術大学院大学 ホクリク センタン カガク ギジュツ ダイガクイン ダイガク
- 出版事項
- 出版年月日等
- 2003-20052006.3
- 出版年（W3CDTF）
- 20032005
- 数量
- 168p
- 並列タイトル等
- Construction and verification of problem models in behavioral specifications