並行システムの検証と実装[磯部祥尚]
  • Googleプレビュー

並行システムの検証と実装 形式手法CSPに基づく高信頼並行システム開発入門 (トップエスイー実践講座)
磯部祥尚

5,060円(税込)送料無料

電子書籍版でもご購入可能です!

楽天Kobo 電子書籍版 並行システムの検証と実装 5,060円
紙書籍版 並行システムの検証と実装 5,060円

商品基本情報

商品説明

【内容情報】(「BOOK」データベースより)
この一冊で、並行プログラミングの基礎理論、検証技術、実装手法が分かる。並行システムのCSPによるモデル化技術、モデル検証器FDRによる検証技術、JavaライブラリJCSPによる実装手法を詳細に解説。

【目次】(「BOOK」データベースより)
第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」データベースより)
東野輝夫(ヒガシノテルオ)
1984年大阪大学大学院基礎工学研究科博士後期課程修了、工学博士。大阪大学助手。現在、大阪大学大学院情報科学研究科教授。並行分散システム、モバイル・コンピューティングなどに関する研究に従事

磯部祥尚(イソベヨシナオ)
1992年芝浦工業大学大学院電気工学専攻修士課程修了。通商産業省工業技術院電子技術総合研究所。現在、独立行政法人産業技術総合研究所主任研究員・北陸先端科学技術大学院大学客員准教授、工学博士。形式手法による並行システムの検証に関する研究に従事(本データはこの書籍が刊行された当時に掲載されていたものです)

商品レビュー

ブックスのレビュー

まだレビューがありません。 レビューを書く

楽天ブックスランキング情報

  • 週間ランキング

    ランキング情報がありません。

  • 日別ランキング

    ランキング情報がありません。

在庫あり

個数 

最近チェックした商品

    ※表示を削除したい場合は閲覧履歴のページから削除お願いいたします

    購入データ自動連携!楽天ブックス公式 無料 読書管理パプリ Readee

    このページの先頭へ