並行システムの検証と実装 形式手法ＣＳＰに基づく高信頼並行システム開発入門
トップエスイー実践講座 ６
| 出版社名 | 近代科学社 |
|---|---|
| 出版年月 | 2012年12月 |
| ISBNコード |
978-4-7649-0435-4
（4-7649-0435-7） |
| 税込価格 | 5,060円 |
| 頁数・縦 | ３６１Ｐ ２４ｃｍ |
商品内容
| 要旨 |
この一冊で、並行プログラミングの基礎理論、検証技術、実装手法が分かる。並行システムのＣＳＰによるモデル化技術、モデル検証器ＦＤＲによる検証技術、ＪａｖａライブラリＪＣＳＰによる実装手法を詳細に解説。 |
|---|---|
| 目次 |
第１章 ＣＳＰ、ＦＤＲ、ＪＣＳＰ概論 |