並行システムの検証と実装―形式手法CSPに基づく高信頼並行システム開発入門(トップエスイー実践講座〈6〉) [全集叢書]

並行システムの検証と実装―形式手法CSPに基づく高信頼並行システム開発入門(トップエスイー実践講座〈6〉) の 商品概要

• 要旨（「BOOK」データベースより）

  この一冊で、並行プログラミングの基礎理論、検証技術、実装手法が分かる。並行システムのＣＳＰによるモデル化技術、モデル検証器ＦＤＲによる検証技術、ＪａｖａライブラリＪＣＳＰによる実装手法を詳細に解説。

• 目次（「BOOK」データベースより）

  第１章　ＣＳＰ、ＦＤＲ、ＪＣＳＰ概論
  第２章　ＣＳＰ入門
  第３章　ＦＤＲ入門
  第４章　ＪＣＳＰ入門
  第５章　ＣＳＰ理論（動作表現）
  第６章　ＣＳＰ理論（動作解析）
  第７章　ＦＤＲ検証
  第８章　ＪＣＳＰ実装
  第９章　ＣＳＰ、ＦＤＲ、ＪＣＳＰ応用
  第１０章　ＣＳＰ、ＦＤＲ、ＪＣＳＰ実践
  付録

• 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

  東野 輝夫(ヒガシノ テルオ)
  １９８４年大阪大学大学院基礎工学研究科博士後期課程修了、工学博士。大阪大学助手。現在、大阪大学大学院情報科学研究科教授。並行分散システム、モバイル・コンピューティングなどに関する研究に従事
  
  磯部 祥尚(イソベ ヨシナオ)
  １９９２年芝浦工業大学大学院電気工学専攻修士課程修了。通商産業省工業技術院電子技術総合研究所。現在、独立行政法人産業技術総合研究所主任研究員・北陸先端科学技術大学院大学客員准教授、工学博士。形式手法による並行システムの検証に関する研究に従事

並行システムの検証と実装―形式手法CSPに基づく高信頼並行システム開発入門(トップエスイー実践講座〈6〉) の商品スペック