資料詳細

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

平石邦彦／著 -- 森北出版 -- 2019.1 --

所蔵

所蔵は 1 件です。

所蔵館	所蔵場所	資料区分	請求記号	資料コード	所蔵状態	資料の利用
配架日	協力貸出	利用状況	返却予定日	資料取扱	予約数	付録注記	備考
中央	2F	一般図書	/007.6/9329/2019	7111311541		配架図 Digital BookShelf
2019/02/08	可能	利用可			0

Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

- 統合検索
  都内図書館の所蔵を
  横断検索します。 類似資料 AI Shelf
  この資料に類似した資料を
  AIが紹介します。

ページの先頭へ

資料詳細

ISBN	4-627-85421-5
ISBN13桁	978-4-627-85421-5
タイトル	形式的モデル化
タイトルカナ	ケイシキテキモデルカ
タイトル関連情報	離散事象/実時間/ハイブリッドシステムのモデル化と解析
タイトル関連情報読み	リサンジショウジツジカンハイブリッドシステムノモデルカトカイセキ
著者名	平石邦彦／著
著者名典拠番号	110007470660000
出版地	東京
出版者	森北出版
出版者カナ	モリキタシュッパン
出版年	2019.1
ページ数	8, 229p
大きさ	22cm
価格	¥4600
内容紹介	離散状態をもつシステム、および離散状態と連続状態を併せもつハイブリッドシステムを形式的にモデル化するための手法を解説。モデルが与えられた仕様を満たしているかどうかを数理的に検証するための方法についても説明する。
書誌・年譜・年表	文献:p222～225
一般件名	システム設計-00571264-ndlsh
一般件名カナ	システムセッケイ-00571264
一般件名	システム工学
一般件名カナ	システムコウガク
一般件名典拠番号	510165900000000
分類：都立NDC10版	007.61
資料情報1	『形式的モデル化離散事象/実時間/ハイブリッドシステムのモデル化と解析』　平石邦彦／著　森北出版　2019.1（所蔵館：中央　請求記号：/007.6/9329/2019　資料コード：7111311541）
URL	https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1153305817

ページの先頭へ