トップエスイー実践講座
Bメソッドによる形式仕様記述
ソフトウェアシステムのモデル化とその検証
近代科学社
2007/12
9784764903470
|
和洋区分 | 和書 |
---|---|
書名,巻次,叢書名 | Bメソッドによる形式仕様記述 ソフトウェアシステムのモデル化とその検証 トップエスイー実践講座 |
著者名 | 来間啓伸著 |
分類記号1 | 007.63 |
著者記号 | T |
出 版 者 | 近代科学社 |
出版年月日 | 2007/12 |
定価 | 3,600 |
ペ ー ジ | xix, 213p |
サ イ ズ | 24cm |
ISBN1 | 9784764903470 |
保管場所コード | 02 2F |
配架場所コード | 21 情報科学 / 技術.工学 |
注記 | 参考文献: p167-169 監修: 中島震 |
件名 | ソフトウェア工学 |
内容細目1 | Software development with B |
---|---|
内容細目2 | Bメソッドによる形式仕様記述 : ソフトウェアシステムのモデル化とその検証 |