資料詳細

[ 和図書 ] 並行システムの検証と実装形式手法CSPに基づく高信頼並行システム開発入門 ( トップエスイー実践講座 6 )

磯部祥尚／著 -- 近代科学社 -- 2012.12 --

所蔵

所蔵は 1 件です。

所蔵館	所蔵場所	資料区分	請求記号	資料コード	所蔵状態	資料の利用
配架日	協力貸出	利用状況	返却予定日	資料取扱	予約数	付録注記	備考
中央	書庫	一般図書	/007.6/7988/2012	7101429520		Digital BookShelf
2013/01/29	可能	利用可			0

Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

ページの先頭へ

資料詳細

ISBN	4-7649-0435-4
ISBN13桁	978-4-7649-0435-4
タイトル	並行システムの検証と実装
タイトルカナ	ヘイコウシステムノケンショウトジッソウ
タイトル関連情報	形式手法CSPに基づく高信頼並行システム開発入門
タイトル関連情報読み	ケイシキシュホウシーエスピーニモトズクコウシンライヘイコウシステムカイハツニュウモン
著者名	磯部祥尚／著, 東野輝夫／監修
著者名典拠番号	110004548830000 , 110004235850000
出版地	東京
出版者	近代科学社
出版者カナ	キンダイカガクシャ
出版年	2012.12
ページ数	19, 361p
大きさ	24cm
シリーズ名	トップエスイー実践講座
シリーズ名のルビ等	トップエスイージッセンコウザ
シリーズ番号	6
シリーズ番号読み	6
シリーズの編者等	本位田真一／シリーズ監修
シリーズの編者等の典拠番号	110001351720000
価格	¥4600
内容紹介	信頼性の高い並行システムを開発するための方法として、並行システムのCSPによるモデル化技術、モデル検査器FDRによる検証技術、JCSPによる実装手法について、特にそれらのつながりを重視して解説。
書誌・年譜・年表	文献:p355～357
一般件名	プログラミング (コンピュータ)-ndlsh-00569223
一般件名カナ	プログラミング (コンピュータ)-00569223
一般件名	並列処理(コンピュータ)
一般件名カナ	ヘイレツショリ(コンピュータ)
一般件名典拠番号	511367700000000
分類：都立NDC10版	007.6
資料情報1	『並行システムの検証と実装形式手法CSPに基づく高信頼並行システム開発入門』（トップエスイー実践講座 6）　磯部祥尚／著, 東野輝夫／監修　近代科学社　2012.12（所蔵館：中央　請求記号：/007.6/7988/2012　資料コード：7101429520）
URL	https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1152196235

ページの先頭へ