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

• 資料種別: 図書
• ISBN: 978-4-627-85421-5
• タイトル: 形式的モデル化 : 離散事象/実時間/ハイブリッドシステムのモデル化と解析
• タイトルよみ: ケイシキテキ モデルカ : リサン ジショウ ジツジカン ハイブリッド システム ノ モデルカ ト カイセキ
• 著者・編者: 平石邦彦 著
• 著者標目: 平石, 邦彦 ヒライシ, クニヒコ ( 001312107 )典拠
• 出版事項: 東京 : 森北出版
• 出版年月日等: 2019.1
• 出版年（W3CDTF）: 2019
• 数量: 229p
• 大きさ: 22cm
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 件名標目: システム設計 システムセッケイ ( 00571264 )典拠
• NDC10版: 007.61 : 情報学．情報科学
• NDLC: M154
• 対象利用者: 一般
• 書誌注記: 文献あり 索引あり
• 入手条件・定価: 4600円
• 所蔵機関: 国立国会図書館
• 請求記号: M154-M6
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 029418502; http://id.ndl.go.jp/bib/029418502
• 全国書誌番号: 23165968
• トーハンMARC番号: 33869171
• 目録規則: 日本目録規則1987年版改訂版
• 整理区分コード: 111

• 要約等: ソフトウェアの形式検証を理解し，使いこなすための理論を詳説．様々なシステムに対する形式的モデル化・解析手法を網羅．（提供元: 出版情報登録センター（JPRO））
• 著者紹介: 平石 邦彦 北陸先端科学技術大学院大学教授 工博（提供元: 出版情報登録センター（JPRO））

目次

◆第Ⅰ部　システムのモデル化

第1章　システムの概念

第2章　オートマトンと形式言語

第3章　ペトリネット

第4章　プロセス代数