このページのリンク

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

データ種別 図書
出版者 東京 : 近代科学社
出版年 2012.12
本文言語 日本語
大きさ xix, 361p : 挿図 ; 24cm

所蔵情報を非表示

萩原 茂樹研究室
007.6||H 000343000 9784764904354

書誌詳細を非表示

別書名 標題紙タイトル:Verification and implementation of concurrent systems
一般注記 監修: 東野輝夫
参考文献: p355-357
著者標目 磯部, 祥尚 <イソベ, ヨシナオ>
東野, 輝夫 <ヒガシノ, テルオ>
件 名 NDLSH:プログラミング(コンピュータ)
NDLSH:並列処理(コンピュータ)
分 類 NDC8:007.6
NDC9:007.6
NDC9:007.64
NDLC:M159
書誌ID B000002307
ISBN 9784764904354
NCID BB11151767 WCLINK
目次/あらすじ

 類似資料