放送大学附属図書館

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

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

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

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 返却予定日 予約
0001 本部 2階一般図書 007.6/H64 11119355828 0件

No. 0001
巻号
所蔵館 本部
配置場所 2階一般図書
請求記号 007.6/H64
資料ID 11119355828
状態
返却予定日
予約 0件

書誌詳細

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