本を探す

本のタイトル検索キーワードを入力してください。

スペースキーで開閉します。

書名・副題書名・副題

書名・副題のキーワードを入力してください。

ISBNコード、JANコード ISBNコード、JANコード

ISBNコード、JANコードを入力してください。

シリーズ名・レーベル名シリーズ名・レーベル名

シリーズ名・レーベル名を入力してください。

著者名著者名

著者名を入力してください。

出版社名出版社名

出版社名を入力してください。

発行(予定)年月

発行年数開始年

開始年を西暦で入力してください。

年開始月

開始月を入力してください。

月～終了年

終了年を西暦で入力してください。

年終了月

終了月を入力してください。

月

出版社を探す

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

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

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

監：東野　輝夫
著：磯部　祥尚

紙版

ためし読み電子版。

内容紹介

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

著者略歴

監：東野　輝夫
東野輝夫（監修）：大阪大学大学院情報科学研究科教授
著：磯部　祥尚
磯部祥尚：産業技術総合研究所　セキュアシステム研究部門　高信頼性ソフトウェア研究グループ

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