B メソッド ニ ヨル ケイシキ シヨウ キジュツ : ソフトウェア システム ノ モデルカ ト ソノ ケンショウ
来間啓伸著
東京 : 近代科学社, 2007.12
図書等| No. | 所在 | 請求記号 | 資料ID | 資料タイプ | 状況（返却予定日） | コレクション | 備考 | 予約・取り寄せ人数 |
|---|---|---|---|---|---|---|---|---|
|
1 |
007.63-Ku79
|
10007016854 |
一般図書 |
|
|
|
|
2007
xix, 213p ; 24cm
Software development with B
Bメソッドによる形式仕様記述 : ソフトウェアシステムのモデル化とその検証
トップエスイー実践講座 ; 1
参考文献: p167-169
監修: 中島震
日本
日本語 (jpn)
日本語 (jpn)
NDC8:007.63
NDC9:007.63
9784764903470
BA84904814
TRC : 08000146
