並行システムの検証と実装 = Verification and Implementation of Concurrent Systems : 形式手法CSPに基づく高信頼並行システム開発入門

• 資料種別: 図書
• ISBN: 978-4-7649-0435-4
• タイトル: 並行システムの検証と実装 : 形式手法CSPに基づく高信頼並行システム開発入門
• タイトルよみ: ヘイコウ システム ノ ケンショウ ト ジッソウ
• 著者・編者: 東野輝夫 監修; 磯部祥尚 著
• シリーズタイトル: トップエスイー実践講座 ; 6
• シリーズ著者・編者: 本位田真一 シリーズ監修
• 著者標目: 東野, 輝夫, 1956- ヒガシノ, テルオ, 1956- ( 00388337 )典拠; 磯部, 祥尚 イソベ, ヨシナオ ( 01140681 )典拠; 本位田, 真一, 1953- ホンイデン, シンイチ, 1953- ( 00192997 )典拠
• 出版事項: 東京 : 近代科学社
• 出版年月日等: 2012.12
• 出版年（W3CDTF）: 2012
• 数量: 361p
• 大きさ: 24cm
• 並列タイトル等: Verification and Implementation of Concurrent Systems ケイシキ シュホウ シーエスピー ニ モトズク コウシンライ ヘイコウ システム カイハツ ニュウモン; Verification and Implementation of Concurrent Systems
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 件名標目: プログラミング (コンピュータ) プログラミング (コンピュータ) ( 00569223 )典拠; 並列処理 (コンピュータ) ヘイレツショリ (コンピュータ) ( 00911442 )典拠
• NDC9版: 007.64 : 情報科学
• NDLC: M159
• 対象利用者: 一般
• 書誌注記: 文献あり 索引あり
• 入手条件・定価: 4600円
• 所蔵機関: 国立国会図書館
• 請求記号: M159-L27
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 024129916; http://id.ndl.go.jp/bib/024129916
• 全国書誌番号: 22190238
• トーハンMARC番号: 32858795
• 目録規則: 日本目録規則1987年版改訂版
• 整理区分コード: 111

• 要約等: マルチコアCPUを持つPCやスマホ、組込みの処理にも欠かせない並行システムについて、構築・検証・実装の方法を基礎から解説。（提供元: 出版情報登録センター（JPRO））
• 著者紹介: 東野 輝夫 東野 輝夫（監修）：大阪大学大学院情報科学研究科 教授磯部 祥尚 磯部 祥尚：産業技術総合研究所 セキュアシステム研究部門 高信頼性ソフトウェア研究グループ（提供元: 出版情報登録センター（JPRO））

目次

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