並行システムの検証と実装

トップエスイーシリーズ　実践講座

形式手法CSPに基づく高信頼並行システム開発入門

書籍

オンデマンド版

大活字版

書籍

雑誌

電子版

読み上げ可能電子版

オーディオブック

監：東野　輝夫

著：磯部　祥尚

出版社：近代科学社

同一作品の他版

アクセシブルブック

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

監：東野　輝夫
東野輝夫（監修）：大阪大学大学院情報科学研究科教授

著：磯部　祥尚
磯部祥尚：産業技術総合研究所　セキュアシステム研究部門　高信頼性ソフトウェア研究グループ

ISBN：9784764904354
出版社：近代科学社
判型：B5変
ページ数：384ページ
定価：4600円（本体）
発行年月日：2012年12月
発売日：2012年12月26日
国際分類コード【Thema（シーマ）】１：UB
国際分類コード【Thema（シーマ）】２：GBCD。

※同一作品の他版、アクセシブルブックにはAIにより推定されたものが含まれる場合があります。

ご購入はこちら