並行システムの検証と実装 : 形式手法CSPに基づく高信頼並行システム開発入門
著者
書誌事項
並行システムの検証と実装 : 形式手法CSPに基づく高信頼並行システム開発入門
(トップエスイー実践講座, 6)
近代科学社, 2012.12
- タイトル別名
-
Verification and implementation of concurrent systems
- タイトル読み
-
ヘイコウ システム ノ ケンショウ ト ジッソウ : ケイシキ シュホウ CSP ニ モトズク コウシンライ ヘイコウ システム カイハツ ニュウモン
電子リソースにアクセスする 全1件
大学図書館所蔵 全47件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
監修: 東野輝夫
参考文献: p355-357
内容説明・目次
内容説明
この一冊で、並行プログラミングの基礎理論、検証技術、実装手法が分かる。並行システムのCSPによるモデル化技術、モデル検証器FDRによる検証技術、JavaライブラリJCSPによる実装手法を詳細に解説。
目次
- 第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実践
- 付録
「BOOKデータベース」 より