本/雑誌
並行システムの検証と実装 形式手法CSPに基づく高信頼並行システム開発入門 (トップエスイー実践講座)
東野輝夫/監修 磯部祥尚/著
5060円
| ポイント | 1% (50p) |
|---|---|
| 発売日 | 2012/12/23 発売 |
| 出荷目安 | メーカー在庫あり:1-3日
※出荷目安について |
追跡可能メール便利用不可商品です
- ゆうパック 送料無料
商品説明
この一冊で、並行プログラミングの基礎理論、検証技術、実装手法が分かる。並行システムのCSPによるモデル化技術、モデル検証器FDRによる検証技術、JavaライブラリJCSPによる実装手法を詳細に解説。
関連記事
収録内容
| 1 | 第1章 CSP、FDR、JCSP概論 |
| 2 | 第2章 CSP入門 |
| 3 | 第3章 FDR入門 |
| 4 | 第4章 JCSP入門 |
| 5 | 第5章 CSP理論(動作表現) |
| 6 | 第6章 CSP理論(動作解析) |
| 7 | 第7章 FDR検証 |
| 8 | 第8章 JCSP実装 |
| 9 | 第9章 CSP、FDR、JCSP応用 |
| 10 | 第10章 CSP、FDR、JCSP実践 |
| 11 | 付録 |
