¥5,060( 本体 ¥4,600 )
商品詳細
並行システムとは、マルチコア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 演習問題解答
第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 演習問題解答
購入前の注意点
・3Dセキュア導入とクレジットカードによるお支払いについて
・この書籍はKinoppy for iOS、Kinoppy for Android、Kinoppy for Windows または Kinoppy for Mac（いずれも最新版）でお読みください。
・電子書籍は会員サービス利用規約に則してご利用いただきます。
・海外会員様にはプレゼントを贈れません。
・この書籍はKinoppy for iOS、Kinoppy for Android、Kinoppy for Windows または Kinoppy for Mac（いずれも最新版）でお読みください。
・電子書籍は会員サービス利用規約に則してご利用いただきます。
・海外会員様にはプレゼントを贈れません。
著者情報
東野輝夫［ヒガシノテルオ］
１９８４年大阪大学大学院基礎工学研究科博士後期課程修了、工学博士。大阪大学助手。現在、大阪大学大学院情報科学研究科教授。並行分散システム、モバイル・コンピューティングなどに関する研究に従事
磯部祥尚［イソベヨシナオ］
１９９２年芝浦工業大学大学院電気工学専攻修士課程修了。通商産業省工業技術院電子技術総合研究所。現在、独立行政法人産業技術総合研究所主任研究員・北陸先端科学技術大学院大学客員准教授、工学博士。形式手法による並行システムの検証に関する研究に従事（本データはこの書籍が刊行された当時に掲載されていたものです）
１９８４年大阪大学大学院基礎工学研究科博士後期課程修了、工学博士。大阪大学助手。現在、大阪大学大学院情報科学研究科教授。並行分散システム、モバイル・コンピューティングなどに関する研究に従事
磯部祥尚［イソベヨシナオ］
１９９２年芝浦工業大学大学院電気工学専攻修士課程修了。通商産業省工業技術院電子技術総合研究所。現在、独立行政法人産業技術総合研究所主任研究員・北陸先端科学技術大学院大学客員准教授、工学博士。形式手法による並行システムの検証に関する研究に従事（本データはこの書籍が刊行された当時に掲載されていたものです）
