並行システムの検証と実装 : 形式手法CSPに基づく高信頼並行システム開発入門
Author(s)
Bibliographic Information
並行システムの検証と実装 : 形式手法CSPに基づく高信頼並行システム開発入門
（トップエスイー実践講座, 6）
近代科学社, 2012.12
- Other Title
-
Verification and implementation of concurrent systems
- Title Transcription
-
ヘイコウ システム ノ ケンショウ ト ジッソウ : ケイシキ シュホウ CSP ニ モトズク コウシンライ ヘイコウ システム カイハツ ニュウモン
Access to Electronic Resource 2 items
Available at / 46 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
監修: 東野輝夫
参考文献: p355-357
Description and Table of Contents
Description
この一冊で、並行プログラミングの基礎理論、検証技術、実装手法が分かる。並行システムのＣＳＰによるモデル化技術、モデル検証器ＦＤＲによる検証技術、ＪａｖａライブラリＪＣＳＰによる実装手法を詳細に解説。
Table of Contents
- 第１章 ＣＳＰ、ＦＤＲ、ＪＣＳＰ概論
- 第２章 ＣＳＰ入門
- 第３章 ＦＤＲ入門
- 第４章 ＪＣＳＰ入門
- 第５章 ＣＳＰ理論（動作表現）
- 第６章 ＣＳＰ理論（動作解析）
- 第７章 ＦＤＲ検証
- 第８章 ＪＣＳＰ実装
- 第９章 ＣＳＰ、ＦＤＲ、ＪＣＳＰ応用
- 第１０章 ＣＳＰ、ＦＤＲ、ＪＣＳＰ実践
- 付録
by "BOOK database"
