トップエスイー実践講座
Bメソッドによる形式仕様記述
ソフトウェアシステムのモデル化とその検証
近代科学社
2007/12
9784764903470
The cover image is from "Kinokuniya".
By clicking the image, the detailed page of the online store, Kinokuniya, is displayed. |
Jpn. or Foreign | 和書 |
---|---|
Title | Bメソッドによる形式仕様記述 ソフトウェアシステムのモデル化とその検証 トップエスイー実践講座 |
Author | 来間啓伸著 |
Publisher | 近代科学社 |
Pub. Date | 2007/12 |
Price | 3,600 |
Page | xix, 213p |
Size | 24cm |
ISBN | 9784764903470 |
Notes | 参考文献: p167-169 監修: 中島震 |
Subjects | ソフトウェア工学 |
Contents Note 1 | Software development with B |
---|---|
Contents Note 2 | Bメソッドによる形式仕様記述 : ソフトウェアシステムのモデル化とその検証 |