資料詳細

【図書】 並行システムの検証と実装

形式手法ＣＳＰに基づく高信頼並行システム開発入門 -- トップエスイー実践講座 --
磯部祥尚／著, 東野輝夫／監修 -- 近代科学社 -- ２０１２．１２ -- ２４ｃｍ -- ３６１ｐ

タイトル	並行システムの検証と実装
副書名	形式手法ＣＳＰに基づく高信頼並行システム開発入門
シリーズ名	トップエスイー実践講座
著者名等	磯部祥尚／著, 東野輝夫／監修
出版	近代科学社２０１２．１２
大きさ等	２４ｃｍ３６１ｐ
分類	007.6
件名	並列処理（コンピュータ）
注記	文献あり　索引あり
要旨	この一冊で、並行プログラミングの基礎理論、検証技術、実装手法が分かる。並行システムのＣＳＰによるモデル化技術、モデル検証器ＦＤＲによる検証技術、ＪａｖａライブラリＪＣＳＰによる実装手法を詳細に解説。
目次	第１章　ＣＳＰ、ＦＤＲ、ＪＣＳＰ概論；第２章　ＣＳＰ入門；第３章　ＦＤＲ入門；第４章　ＪＣＳＰ入門；第５章　ＣＳＰ理論（動作表現）；第６章　ＣＳＰ理論（動作解析）；第７章　ＦＤＲ検証；第８章　ＪＣＳＰ実装；第９章　ＣＳＰ、ＦＤＲ、ＪＣＳＰ応用；第１０章　ＣＳＰ、ＦＤＲ、ＪＣＳＰ実践；付録
ISBN(13)、ISBN	978-4-7649-0435-4　　 4-7649-0435-7
書誌番号	1112095509
URL	https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1112095509

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館	所蔵場所	別置	請求記号	資料区分	状態	取扱	資料コード
中央	書庫		007.6/15011	一般書	利用可	-	2049902770