ecofacilitymanagement.ae - ネットでギフトを贈るなら ギフトモール

  1. HOME

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

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

  • 商品説明・詳細

  • 送料・お届け

商品情報

内容紹介 ソフトウェアが正しく設計されているかを保証するための手法として、システムを数学的に厳密なモデルで記述し、仕様が満たされているかどうかを数理的に調べる、「形式検証」が注目されている。本書では、モデル検査に代表されるように、現実のシステムにも適用可能になってきた形式検証を理解し、使いこなすための理論的背景について解説する。離散事象システム、実時間システム、ハイブリッドシステムなど、さまざまなシステムに対する形式的モデル化手法と、その解析方法が網羅された1冊。【目次】第I部 システムのモデル化 第1章 システムの概念 1.1 システムとそのモデル化 1.2 システムの入力と出力 1.3 静的システムと動的システム 1.4 システムの状態 1.5 状態方程式と状態空間 1.6 連続状態・離散状態・ハイ

残り 1 点 7056円

（71 ポイント還元！）

翌日お届け可（営業日のみ） ※一部地域を除く

お届け日: 2025.02.26〜指定可 (明日12:00のご注文まで)

  • ラッピング
    ラッピング
希望しない
希望する ( +600円 )
希望しない
数量
同時に5点までのご購入が可能です。
お気に入りに保存

対応決済方法

クレジットカード
クレジットカード決済
コンビニ前払い決済
コンビニ決済
代金引換
商品到着と引き換えにお支払いいただけます。 (送料を含む合計金額が￥299,000 まで対応可能)
ペイジー前払い決済(ATM/ネットバンキング)
以下の金融機関のATM/ネットバンクからお支払い頂けます
みずほ銀行 、 三菱ＵＦＪ銀行 、 三井住友銀行
りそな銀行 、ゆうちょ銀行、各地方銀行
Amazon Pay(Amazonアカウントでお支払い)

20万円以上の大口注文について

請求書払い、ロゴ等オリジナルデータの名入れなど、大口のご注文に関するお問い合わせに専門スタッフが対応いたします。

お問い合わせはこちらから

このお店の人気商品（雑貨ジェイズギフトモール店）

全てのギフトを見る

ヘルプ&ガイド

ギフトモールについて

参画のご案内

特集

ギフトモールのサービス

ギフトモールをアプリで

©2024 ecofacilitymanagement.ae, Inc.

icon-facebook icon-twitter icon-instagram