|
トップエスイー実践講座
Bメソッドによる形式仕様記述
ソフトウェアシステムのモデル化とその検証
近代科学社
2007/12
9784764903470
|
| Jpn. or Foreign | 和書 |
|---|---|
| Title | Bメソッドによる形式仕様記述 ソフトウェアシステムのモデル化とその検証 トップエスイー実践講座 |
| Author | 来間啓伸著 |
| Classification 1 | 007.63 |
| Author No. | T |
| Publisher | 近代科学社 |
| Pub. Date | 2007/12 |
| Price | 3,600 |
| Page | xix, 213p |
| Size | 24cm |
| ISBN | 9784764903470 |
| Location Code | 02 ２F |
| Shelf Code | 21 情報科学 / 技術.工学 |
| Notes | 参考文献: p167-169 監修: 中島震 |
| Subjects | ソフトウェア工学 |
| Contents Note 1 | Software development with B |
|---|---|
| Contents Note 2 | Bメソッドによる形式仕様記述 : ソフトウェアシステムのモデル化とその検証 |