書店で探す
目次
52(2)=175:2015.3
- 抽象状態機械の到達性解析による安全性の簡易検証
p.21-34
書店で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 雑誌
- ISSN
- 0385-4566
- ISSN-L
- 0385-4566
- タイトル
- タイトルよみ
- チバ ショウダイ キヨウ
- 巻次・部編番号
- 52巻2号(通号175) 2015年3月
- 著者・編者
- 千葉商科大学国府台学会 編
- 著者標目
- 千葉商科大学国府台学会 チバ ショウカ ダイガク コウノダイ ガッカイ ( 00304948 )典拠
- 出版事項
- 出版年月日等
- 2015