並行システムの検証と実装 形式手法CSPに基づく高信頼並行システム開発入門（近代科学社） [電子書籍]

並行システムの検証と実装 形式手法CSPに基づく高信頼並行システム開発入門（近代科学社） の 商品概要

• 並行システムとは、マルチコアCPUを備えるPCやスマホのほか、組込み、スマートグリッドの処理にも欠かせないシステムである。
  　本書は、その基礎理論（プロセス代数）であるCSPを用いた並行システムの構築方法や検証、実装の方法を概説する。ソフトウェア開発者を中心に、並行プログラミングに挑戦したい人への一冊。
  

• 目次

  第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　演習問題解答
  

• 商品の注意点

  この商品は固定レイアウトで作成されており、タブレットなど大きいディスプレイを備えた端末で読むことに適しています。購入前にお使いの端末で無料サンプルをお試しください。
  

並行システムの検証と実装 形式手法CSPに基づく高信頼並行システム開発入門（近代科学社） の商品スペック