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

• Material Type: 図書
• ISBN: 978-4-7649-0435-4
• Title: 並行システムの検証と実装 : 形式手法CSPに基づく高信頼並行システム開発入門
• Title Transcription: ヘイコウ システム ノ ケンショウ ト ジッソウ
• Author/Editor: 東野輝夫 監修; 磯部祥尚 著
• Series Title: トップエスイー実践講座 ; 6
• Author/Editor (Series Title): 本位田真一 シリーズ監修
• Author Heading: 東野, 輝夫, 1956- ヒガシノ, テルオ, 1956- ( 00388337 )Authorities; 磯部, 祥尚 イソベ, ヨシナオ ( 01140681 )Authorities; 本位田, 真一, 1953- ホンイデン, シンイチ, 1953- ( 00192997 )Authorities
• Publication, Distribution, etc.: 東京 : 近代科学社
• Publication Date: 2012.12
• Publication Date (W3CDTF): 2012
• Extent: 361p
• Size: 24cm
• Alternative Title: Verification and Implementation of Concurrent Systems ケイシキ シュホウ シーエスピー ニ モトズク コウシンライ ヘイコウ システム カイハツ ニュウモン; Verification and Implementation of Concurrent Systems
• Place of Publication (Country Code): JP
• Text Language Code: jpn
• Subject Heading: プログラミング (コンピュータ) プログラミング (コンピュータ) ( 00569223 )Authorities; 並列処理 (コンピュータ) ヘイレツショリ (コンピュータ) ( 00911442 )Authorities
• NDC 9th ed.: 007.64 : Information science
• NDLC: M159
• Target Audience: 一般
• Note (Bibliography): 文献あり 索引あり
• Price: 4600円
• Holding library: 国立国会図書館
• Call No.: M159-L27
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 024129916; http://id.ndl.go.jp/bib/024129916
• National Bibliography No. (JPNO): 22190238
• TOHAN MARC No.: 32858795
• Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
• Bibliographic Record Category (NDL): 111

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

Table of Contents

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