情報
トップエスイー実践講座 第6巻
並行システムの検証と実装形式手法CSPに基づく高信頼並行システム開発入門
並行システムとは、マルチコアCPUを備えるPCやスマホのほか、組込み、スマートグリッドの処理にも欠かせないシステムである。本書は、その基礎理論(プロセス代数)であるCSPを用いた並行システムの構築方法や検証、実装の方法を概説。ソフトウェア開発者を中心に、並行プログラミングに挑戦したい人への一冊。
電子書籍¥4,600 小売希望価格(税別)
紙の書籍¥4,600定価(税別)
基本情報
発売日 | 2012年12月26日 |
---|---|
ページ数 | 384 ページ ※印刷物 |
サイズ | B5 変形 |
ISBN | 9784764904354 |
ジャンル | 情報 |
タグ | ソフトウェア工学 |
電子書籍形式 | 固定型 |
主要目次
1. CSP, FDR, JCSP 概論
2. CSP入門
3. FDR入門
4. JCSP入門
5. CSP理論(動作表現)
6. CSP理論(動作解析)
7. FDR検証
8. JCSP実装
9. CSP, FDR, JCSP応用
10. CSP, FDR, JCSP実践
付録A インストール方法
付録B 演習問題解答
2. CSP入門
3. FDR入門
4. JCSP入門
5. CSP理論(動作表現)
6. CSP理論(動作解析)
7. FDR検証
8. JCSP実装
9. CSP, FDR, JCSP応用
10. CSP, FDR, JCSP実践
付録A インストール方法
付録B 演習問題解答