で詳細を確認
ヘイコウ システム ノ ケンショウ ト ジッソウ : ケイシキ シュホウ CSP ニ モトズク コウシンライ ヘイコウ システム カイハツ ニュウモン
並行システムの検証と実装 : 形式手法CSPに基づく高信頼並行システム開発入門 / 磯部祥尚著
(トップエスイー実践講座 ; 6)
| データ種別 | 図書 |
|---|---|
| 出版者 | 東京 : 近代科学社 |
| 出版年 | 2012.12 |
| 本文言語 | 日本語 |
| 大きさ | xix, 361p : 挿図 ; 24cm |
書誌詳細を非表示
| 別書名 | 標題紙タイトル: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 
|
目次／あらすじ