この情報を出力する

このページのリンク

他の検索サイト

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

データ種別 図書
出版情報 東京 : 近代科学社 , 2012.12
本文言語 日本語
大きさ xix, 361p : 挿図 ; 24cm
目次／あらすじ

所蔵情報を非表示

図書館/第3書庫 I007.6/I 85
02180981

9784764904354

書誌詳細を非表示

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

 類似資料