1/29
時点_ポイント最大2倍
形式的モデル化 離散事象/実時間/ハイブリッドシステムのモデル化と解析/平石邦彦
販売価格
5,060
円 （税込）
送料無料
- 出荷目安：
- 1～3日で発送予定
たまるdポイント（通常） 46
+キャンペーンポイント（期間・用途限定） 最大1倍
※たまるdポイントはポイント支払を除く商品代金(税抜)の1％です。
※表示倍率は各キャンペーンの適用条件を全て満たした場合の最大倍率です。
各キャンペーンの適用状況によっては、ポイントの進呈数・付与倍率が最大倍率より少なくなる場合がございます。
dカードでお支払ならポイント3倍
各キャンペーンの適用状況によっては、ポイントの進呈数・付与倍率が最大倍率より少なくなる場合がございます。
- 商品情報
- レビュー
平石邦彦
森北出版
ISBN：4627854218/9784627854215
発売日:2019年01月
【内容紹介】
ソフトウェアが正しく設計されているかを保証するための手法として、システムを数学的に厳密なモデルで記述し、仕様が満たされているかどうかを数理的に調べる、「形式検証」が注目されている.
本書では、モデル検査に代表されるように、現実のシステムにも適用可能になってきた形式検証を理解し、使いこなすための理論的背景について解説する.
離散事象システム、実時間システム、ハイブリッドシステムなど、さまざまなシステムに対する形式的モデル化手法と、その解析方法が網羅された1冊.
森北出版
ISBN：4627854218/9784627854215
発売日:2019年01月
【内容紹介】
ソフトウェアが正しく設計されているかを保証するための手法として、システムを数学的に厳密なモデルで記述し、仕様が満たされているかどうかを数理的に調べる、「形式検証」が注目されている.
本書では、モデル検査に代表されるように、現実のシステムにも適用可能になってきた形式検証を理解し、使いこなすための理論的背景について解説する.
離散事象システム、実時間システム、ハイブリッドシステムなど、さまざまなシステムに対する形式的モデル化手法と、その解析方法が網羅された1冊.
※本データはこの商品が発売された時点の情報です。