B メソッド ニ ヨル ケイシキ シヨウ キジュツ : ソフトウェア システム ノ モデルカ ト ソノ ケンショウ
Bメソッドによる形式仕様記述 : ソフトウェアシステムのモデル化とその検証 / 来間啓伸著
(トップエスイー実践講座 ; 1)
| データ種別 | 図書 |
|---|---|
| 出版情報 | 東京 : 近代科学社 , 2007.12 |
| 本文言語 | 日本語 |
| 大きさ | xix, 213p ; 24cm |
目次／あらすじ
所蔵情報を非表示
| 配架場所 | 請求記号 | 巻 次 | 資料番号 | 状 態 | コメント | ISBN | 予約 | 仮想書架 |
|---|---|---|---|---|---|---|---|---|
| 図書館/第3書庫 | I007.6/T/実践-1 |
|
01434876 |
|
|
9784764903470 |
書誌詳細を非表示
| 別書名 | 標題紙タイトル:Software development with B 異なりアクセスタイトル:Bメソッドによる形式仕様記述 : ソフトウェアシステムのモデル化とその検証 |
|---|---|
| 一般注記 | 参考文献: p167-169 監修: 中島震 |
| 著者標目 | 来間, 啓伸 <クルマ, ヒロノブ> 中島, 震(1955-) <ナカジマ, シン> |
| 件 名 | BSH:ソフトウェア工学 |
| 分 類 | NDC8:007.63 NDC9:007.63 |
| 書誌ID | TT40014835 |
| ISBN | 9784764903470 |
| NCID | BA84904814 |
類似資料
この資料の利用統計
このページへのアクセス回数：5回