トップエスイー実践講座
並行システムの検証と実装
形式手法CSPに基づく高信頼並行システム開発入門
近代科学社
2012/12
9784764904354
|
和洋区分 | 和書 |
---|---|
書名,巻次,叢書名 | 並行システムの検証と実装 形式手法CSPに基づく高信頼並行システム開発入門 トップエスイー実践講座 |
著者名 | 磯部祥尚著 |
分類記号1 | 007.63 |
著者記号 | T |
出 版 者 | 近代科学社 |
出版年月日 | 2012/12 |
定価 | 4,600 |
ペ ー ジ | xix, 361p 挿図 |
サ イ ズ | 24cm |
ISBN1 | 9784764904354 |
保管場所コード | 02 2F |
配架場所コード | 21 情報科学 / 技術.工学 |
注記 | 監修: 東野輝夫 参考文献: p355-357 |
件名 | プログラミング(コンピュータ) 並列処理(コンピュータ) |
内容細目1 | Verification and implementation of concurrent systems |
---|