青山学院大学図書館

形式的モデル化 : 離散事象/実時間/ハイブリッドシステムのモデル化と解析

平石邦彦著. -- 森北出版, 2019. <BB01173449>
登録タグ:
登録されているタグはありません
書誌URL:

所蔵一覧 1件~1件(全1件)

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 コメント 予約 WEB書棚
0001 相模原分館 相3F一般000 007.61||H64K 881901448 0件
No. 0001
巻号
所蔵館 相模原分館
配置場所 相3F一般000
請求記号 007.61||H64K
資料ID 881901448
状態
コメント
予約 0件
WEB書棚

書誌詳細

標題および責任表示 形式的モデル化 : 離散事象/実時間/ハイブリッドシステムのモデル化と解析 / 平石邦彦著
ケイシキテキ モデルカ : リサン ジショウ ジツジカン ハイブリッド システム ノ モデルカ ト カイセキ
出版・頒布事項 東京 : 森北出版 , 2019.1
形態事項 viii, 229p ; 22cm
巻号情報
ISBN 9784627854215
その他の標題 異なりアクセスタイトル:形式的モデル化 : 離散事象実時間ハイブリッドシステムのモデル化と解析
ケイシキテキ モデルカ : リサン ジショウ ジツジカン ハイブリッド システム ノ モデルカ ト カイセキ
注記 参考文献: p[222]-225
NCID BB27542628
本文言語コード 日本語
著者標目リンク 平石, 邦彦(1960-)||ヒライシ, クニヒコ <AU40161241>
分類標目 情報学.情報科学 NDC10:007.61
件名標目等 システム工学||システムコウガク
件名標目等 システム設計||システムセッケイ