TOP > 情報工学
 □ ニュースリリース
コミュニケーション・
情報リテラシー
工学一般
情報工学
電子工学
数学
物理学
ビジネス・経済
建築・都市計画
科学一般
公立はこだて未来大学出版会
発行
ナノオプト発行
弊社の書籍はお近くの書店・大学生協でお求めいただけます。店頭にない場合はお店からお取り寄せもできます。また、インターネットでもご購入いただけますので各販売サイトをご覧ください。
  サポート
   正誤表、授業用の教材などが
   あります
  地図(インプレスグループ)
   Google Map


株式会社 近代科学社

〒162-0843
東京都新宿区市谷田町2-7-15
TEL : 03-3260-6161
FAX : 03-3260-6059

 
情報工学
 
トップエスイー実践講座6 形式手法CSPに基づく高信頼並行システム開発入門
並行システムの検証と実装

book

発売日:2012.12.26発売
定価:本体4,600円+税

紀伊國屋書店で注文
アマゾンで注文

 

PCの高速化やスマホ開発にマスト!

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

 
著者 シリーズ監修:本位田 真一 監修:東野 輝夫(大坂大学)
著者:磯部 祥尚(産業技術研究所)
ページ数 384
サイズ B5変型
ISBN 978-4-7649-0435-4
     
主要目次

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

トップへ
 
本サイトのご利用についてお問合せプライバシーについて | 会社概要 | インプレスグループサイト | インプレスグループTop |
 Copyright © 2016 Kindai kagaku sha Co.,Ltd, an Impress Group company. All rights reserved.