| 出版情報 |
東京 : 森北出版 , 2019.1 |
| 大きさ |
viii, 229p ; 22cm |
| 別書名 |
異なりアクセスタイトル:形式的モデル化 : 離散事象実時間ハイブリッドシステムのモデル化と解析 |
| 一般注記 |
参考文献: p[222]-225 |
| 著者標目 |
平石, 邦彦(1960-) <ヒライシ, クニヒコ>
|
| 件 名 |
BSH:システム工学
NDLSH:システム設計
|
| 分 類 |
NDC10:007.61
|
| 本文言語 |
日本語 |
| 書誌ID |
TB10099146 |
| ISBN |
9784627854215 |
| NCID |
BB27542628
|
| 巻冊次 |
ISBN:9784627854215 ; PRICE:4600円+税
|
