Bメソッドによる形式仕様記述 : ソフトウェアシステムのモデル化とその検証

Bメソッドによる形式仕様記述 : ソフトウェアシステムのモデル化とその検証

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

件名

ソフトウェア工学

ISBN

9784764903470

NCID

BA84904814

番号

TRC : 08000146