形式的モデル化を通販サイトで比較

形式的モデル化離散事象／実時間／ハイブリッドシステムのモデル化と解析 [ 平石邦彦 ]

ショップ楽天ブックス

価格￥5,060

商品の説明

離散事象／実時間／ハイブリッドシステムのモデル化と解析平石邦彦森北出版ケイシキテキモデルカヒライシクニヒコ発行年月：2019年01月17日予約締切日：2018年12月05日ページ数：240p サイズ：単行本 ISBN：9784627854215 平石邦彦（ヒライシクニヒコ） 1983年東京工業大学工学部制御工学科卒業。1985年東京工業大学理工学研究科制御工学専攻修了。富士通（株）国際情報社会科学研究所研究員。1993年北陸先端科学技術大学院大学情報科学研究科助教授。2003年同教授。2016年同大学情報社会基盤研究センター長。工学博士（本データはこの書籍が刊行された当時に掲載されていたものです）第1部　システムのモデル化（システムの概念／オートマトンと形式言語　ほか）／第2部　性質・ふるまいの記述（時相論理によるシステムの性質の記述／遷移システム・ラベル付き遷移システム）／第3部　拡張モデル（時間・確率システムのモデル化／ハイブリッドシステムのモデル化）／第4部　解析・検証・制御（基本的解析問題／決定性時間システム・ハイブリッドシステムの解析　ほか）複雑・多様化するシステムの形式検証のために。堅牢なシステム構築のための、システムの数理...

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

ショップムジカ＆フェリーチェ楽天市場店

価格￥9,412

商品の詳細ページへ(楽天市場)

商品の説明

【メーカー名】森北出版【メーカー型番】【ブランド名】森北出版掲載画像は全てイメージです。実際の商品とは色味等異なる場合がございますのでご了承ください。【ご注文からお届けまで】・ご注文　：ご注文は24時間受け付けております。・注文確認：当店より注文確認メールを送信いたします。・入金確認：ご決済の承認が完了した翌日よりお届けまで2〜7営業日前後となります。　※海外在庫品の場合は2〜4週間程度かかる場合がございます。　※納期に変更が生じた際は別途メールにてご確認メールをお送りさせて頂きます。　※お急ぎの場合は事前にお問い合わせください。・商品発送：出荷後に配送業者と追跡番号等をメールにてご案内致します。　※離島、北海道、九州、沖縄は遅れる場合がございます。予めご了承下さい。　※ご注文後、当店よりご注文内容についてご確認のメールをする場合がございます。期日までにご返信が無い場合キャンセルとさせて頂く場合がございますので予めご了承下さい。【在庫切れについて】他モールとの併売品の為、在庫反映が遅れてしまう場合がございます。完売の際はメールにてご連絡させて頂きますのでご了承ください。【初期不良のご対応...

形式的モデル化離散事象/実時間/ハイブリッドシステムのモデル化と解析[本/雑誌] / 平石邦彦/著

ショップネオウィング楽天市場店

価格￥5,060

商品の詳細ページへ(楽天市場)

商品の説明

ご注文前に必ずご確認ください＜商品説明＞複雑・多様化するシステムの形式検証のために。堅牢なシステム構築のための、システムの数理的なモデル化・解析手法の理論的背景を詳説。＜収録内容＞第1部システムのモデル化(システムの概念オートマトンと形式言語ほか)第2部性質・ふるまいの記述(時相論理によるシステムの性質の記述遷移システム・ラベル付き遷移システム)第3部拡張モデル(時間・確率システムのモデル化ハイブリッドシステムのモデル化)第4部解析・検証・制御(基本的解析問題決定性時間システム・ハイブリッドシステムの解析ほか)＜商品詳細＞商品番号：NEOBK-2319701Hiraishi Kunihiko / Cho / Keishiki Teki Model Ka Risan Jisho / Jitsujikan / Hybrid System No Model Ka to Kaisekiメディア：本/雑誌発売日：2019/01JAN：9784627854215形式的モデル化離散事象/実時間/ハイブリッドシステムのモデル化と解析[本/雑誌] / 平石邦彦/著2019/01発売

形式的モデル化離散事象 / 実時間 / ハイブリッドシステムのモデル化と解析 / 平石邦彦【本】

ショップ HMV＆BOOKS online 1号店

価格￥5,060

商品の詳細ページへ(楽天市場)

商品の説明

出荷目安の詳細はこちら内容詳細複雑・多様化するシステムの形式検証のために。堅牢なシステム構築のための、システムの数理的なモデル化・解析手法の理論的背景を詳説。目次&nbsp;:&nbsp;第1部　システムのモデル化（システムの概念/ オートマトンと形式言語　ほか）/ 第2部　性質・ふるまいの記述（時相論理によるシステムの性質の記述/ 遷移システム・ラベル付き遷移システム）/ 第3部　拡張モデル（時間・確率システムのモデル化/ ハイブリッドシステムのモデル化）/ 第4部　解析・検証・制御（基本的解析問題/ 決定性時間システム・ハイブリッドシステムの解析　ほか）

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

ショップバリューコネクト

価格￥9,598

商品の詳細ページへ(楽天市場)

商品の説明

【メーカー名】森北出版【メーカー型番】【ブランド名】森北出版掲載画像は全てイメージです。実際の商品とは色味等異なる場合がございますのでご了承ください。【ご注文からお届けまで】・ご注文　：ご注文は24時間受け付けております。・注文確認：当店より注文確認メールを送信いたします。・入金確認：ご決済の承認が完了した翌日よりお届けまで2〜7営業日前後となります。　※海外在庫品の場合は2〜4週間程度かかる場合がございます。　※納期に変更が生じた際は別途メールにてご確認メールをお送りさせて頂きます。　※お急ぎの場合は事前にお問い合わせください。・商品発送：出荷後に配送業者と追跡番号等をメールにてご案内致します。　※離島、北海道、九州、沖縄は遅れる場合がございます。予めご了承下さい。　※ご注文後、当店よりご注文内容についてご確認のメールをする場合がございます。期日までにご返信が無い場合キャンセルとさせて頂く場合がございますので予めご了承下さい。【在庫切れについて】他モールとの併売品の為、在庫反映が遅れてしまう場合がございます。完売の際はメールにてご連絡させて頂きますのでご了承ください。【初期不良のご対応...

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

ショップ AJIMURA-SHOP

価格￥9,598

商品の詳細ページへ(楽天市場)

商品の説明

【メーカー名】森北出版【メーカー型番】【ブランド名】森北出版掲載画像は全てイメージです。実際の商品とは色味等異なる場合がございますのでご了承ください。【ご注文からお届けまで】・ご注文　：ご注文は24時間受け付けております。・注文確認：当店より注文確認メールを送信いたします。・入金確認：ご決済の承認が完了した翌日よりお届けまで2〜7営業日前後となります。　※海外在庫品の場合は2〜4週間程度かかる場合がございます。　※納期に変更が生じた際は別途メールにてご確認メールをお送りさせて頂きます。　※お急ぎの場合は事前にお問い合わせください。・商品発送：出荷後に配送業者と追跡番号等をメールにてご案内致します。　※離島、北海道、九州、沖縄は遅れる場合がございます。予めご了承下さい。　※ご注文後、当店よりご注文内容についてご確認のメールをする場合がございます。期日までにご返信が無い場合キャンセルとさせて頂く場合がございますので予めご了承下さい。【在庫切れについて】他モールとの併売品の為、在庫反映が遅れてしまう場合がございます。完売の際はメールにてご連絡させて頂きますのでご了承ください。【初期不良のご対応...

【未使用】【中古】形式的モデル化離散事象/実時間/ハイブリッドシステムのモデル化と解析

ショップムジカ＆フェリーチェ楽天市場店

価格￥9,715

商品の詳細ページへ(楽天市場)

商品の説明

【メーカー名】森北出版【メーカー型番】【ブランド名】森北出版掲載画像は全てイメージです。実際の商品とは色味等異なる場合がございますのでご了承ください。【ご注文からお届けまで】・ご注文　：ご注文は24時間受け付けております。・注文確認：当店より注文確認メールを送信いたします。・入金確認：ご決済の承認が完了した翌日よりお届けまで2〜7営業日前後となります。　※海外在庫品の場合は2〜4週間程度かかる場合がございます。　※納期に変更が生じた際は別途メールにてご確認メールをお送りさせて頂きます。　※お急ぎの場合は事前にお問い合わせください。・商品発送：出荷後に配送業者と追跡番号等をメールにてご案内致します。　※離島、北海道、九州、沖縄は遅れる場合がございます。予めご了承下さい。　※ご注文後、当店よりご注文内容についてご確認のメールをする場合がございます。期日までにご返信が無い場合キャンセルとさせて頂く場合がございますので予めご了承下さい。【在庫切れについて】他モールとの併売品の為、在庫反映が遅れてしまう場合がございます。完売の際はメールにてご連絡させて頂きますのでご了承ください。【初期不良のご対応...

形式的モデル化