---

ヘイコウ システム ノ ケンショウ ト ジッソウ : ケイシキ シュホウ CSP ニ モトズク コウシンライ ヘイコウ システム カイハツ ニュウモン
並行システムの検証と実装 : 形式手法CSPに基づく高信頼並行システム開発入門 / 磯部祥尚著
(トップエスイー実践講座 ; 6)

データ種別	図書
出版者	東京 : 近代科学社
出版年	2012.12
形態	xix, 361p : 挿図 ; 24cm
別書名	標題紙タイトル:Verification and implementation of concurrent systems
著者標目	磯部, 祥尚 <イソベ, ヨシナオ> 東野, 輝夫 <ヒガシノ, テルオ>
件　名	NDLSH:プログラミング(コンピュータ) NDLSH:並列処理(コンピュータ)
分　類	NDC9:007.64 NDC9:007.6 NDC8:007.6 NDLC:M159
書誌ID	LT00918399

 類似資料