Holding List
Outline
|
トップエスイー実践講座
並行システムの検証と実装
形式手法CSPに基づく高信頼並行システム開発入門
近代科学社
2012/12
9784764904354
The cover image is from "Kinokuniya".
By clicking the image, the detailed page of the online store, Kinokuniya, is displayed. |
Status Information
Detail
| Jpn. or Foreign | 和書 |
|---|---|
| Title | 並行システムの検証と実装 形式手法CSPに基づく高信頼並行システム開発入門 トップエスイー実践講座 |
| Author | 磯部祥尚著 |
| Publisher | 近代科学社 |
| Pub. Date | 2012/12 |
| Price | 4,600 |
| Page | xix, 361p 挿図 |
| Size | 24cm |
| ISBN | 9784764904354 |
| Notes | 監修: 東野輝夫 参考文献: p355-357 |
| Subjects | プログラミング(コンピュータ) 並列処理(コンピュータ) |
| Contents Note 1 | Verification and implementation of concurrent systems |
|---|
Holding List
Holding1 items
-
1Label
- Classification 1007.63
- Author No.T
- Copy No.6
Registration No.0086136
Classification 1007.63Author No.Copy No.6Location Code02 ２FShelf Code21 情報科学 / 技術.工学