形式的モデル化 : 離散事象/実時間/ハイブリッドシステムのモデル化と解析
書誌情報:形式的モデル化 : 離散事象/実時間/ハイブリッドシステムのモデル化と解析
ケイシキテキ モデルカ : リサン ジショウ ジツジカン ハイブリッド システム ノ モデルカ ト カイセキ
平石邦彦著
東京 : 森北出版 , 2019.1
viii, 229p ; 22cm
 WebCatPlus を見る
CiNii Books を見る


  


所蔵一覧
巻号予約人数所在請求記号登録番号資料ID状態貸出区分備考 
1 0図書館3階
  • 007.61
  • Hir
  •  
60156716015671 利用可
図書 

選択行を：  

書誌詳細
刊年2019
形態viii, 229p ; 22cm
別書名形式的モデル化 : 離散事象実時間ハイブリッドシステムのモデル化と解析
注記参考文献: p[222]-225
出版国日本
標題言語日本語
本文言語日本語
著者情報平石, 邦彦(1960-) (ヒライシ, クニヒコ)
分類NDC10:007.61
ISBN9784627854215
件名BSH:システム工学
NDLSH:システム設計
NCIDBB27542628

WebCatPlus を見る    CiNii Books を見る
▲ページトップへ