所蔵一覧
概要
|
トップエスイー実践講座
Bメソッドによる形式仕様記述
ソフトウェアシステムのモデル化とその検証
近代科学社
2007/12
9784764903470
表紙画像は「紀伊國屋書店」のものを使用しています。
画像をクリックすると紀伊國屋書店のオンラインストアの詳細ページを表示します。 |
利用状況
詳細
| 和洋区分 | 和書 |
|---|---|
| 書名,巻次,叢書名 | Bメソッドによる形式仕様記述 ソフトウェアシステムのモデル化とその検証 トップエスイー実践講座 |
| 著者名 | 来間啓伸著 |
| 出 版 者 | 近代科学社 |
| 出版年月日 | 2007/12 |
| 定価 | 3,600 |
| ペ ー ジ | xix, 213p |
| サ イ ズ | 24cm |
| ISBN1 | 9784764903470 |
| 注記 | 参考文献: p167-169 監修: 中島震 |
| 件名 | ソフトウェア工学 |
| 内容細目１ | Software development with B |
|---|---|
| 内容細目２ | Bメソッドによる形式仕様記述 : ソフトウェアシステムのモデル化とその検証 |
所蔵一覧
所蔵1 冊
-
1ラベル
- 分類記号1007.63
- 著者記号T
- 副本記号1
登録番号0086605
分類記号1007.63著者記号副本記号1保管場所コード02 ２F配架場所コード21 情報科学 / 技術.工学