並行システムの検証と実装 : 形式手法CSPに基づく高信頼並行システム開発入門
著者
書誌事項
並行システムの検証と実装 : 形式手法CSPに基づく高信頼並行システム開発入門
（トップエスイー実践講座, 6）
近代科学社, 2012.12
- タイトル別名
-
Verification and implementation of concurrent systems
- タイトル読み
-
ヘイコウ システム ノ ケンショウ ト ジッソウ : ケイシキ シュホウ CSP ニ モトズク コウシンライ ヘイコウ システム カイハツ ニュウモン
大学図書館所蔵 件 / 全47件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
監修: 東野輝夫
参考文献: p355-357
内容説明・目次
内容説明
この一冊で、並行プログラミングの基礎理論、検証技術、実装手法が分かる。並行システムのＣＳＰによるモデル化技術、モデル検証器ＦＤＲによる検証技術、ＪａｖａライブラリＪＣＳＰによる実装手法を詳細に解説。
目次
- 第１章 ＣＳＰ、ＦＤＲ、ＪＣＳＰ概論
- 第２章 ＣＳＰ入門
- 第３章 ＦＤＲ入門
- 第４章 ＪＣＳＰ入門
- 第５章 ＣＳＰ理論（動作表現）
- 第６章 ＣＳＰ理論（動作解析）
- 第７章 ＦＤＲ検証
- 第８章 ＪＣＳＰ実装
- 第９章 ＣＳＰ、ＦＤＲ、ＪＣＳＰ応用
- 第１０章 ＣＳＰ、ＦＤＲ、ＪＣＳＰ実践
- 付録
「BOOKデータベース」 より