在庫あと1点!
1~2日以内に発送
状態:中古品
販売基準について
値下げしたらメールでお知らせ!
この商品の詳細
- 出版社
- 森北出版
- 出版社シリーズ
- ISBN
- 4627854215
- サイズ
- 単行本
- 発売年月日
- 2019年01月01日
この商品の紹介
離散状態をもつシステム、および離散状態と連続状態を併せもつハイブリッドシステムを形式的にモデル化するための手法を解説。モデルが与えられた仕様を満たしているかどうかを数理的に検証するための方法についても説明する。
形式的モデル化/単行本
3,298
円(税込)
1~2日以内に発送