>> Google Books
タイトル、所在を表示します

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

フォーマット:
図書
責任表示:
来間啓伸著
言語:
日本語
出版情報:
東京 : 近代科学社, 2007.12
形態:
xix, 213p ; 24cm
著者名:
シリーズ名:
トップエスイー実践講座 ; 1 <BA84687793>
書誌ID:
BA84904814
ISBN:
9784764903470 [4764903474]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

中谷, 多哉子, 中島, 震(1955-)

放送大学教育振興会

ソフトウェア・テストPRESS編集部

技術評論社

Tomayko, James E., Hazzan, Orit, 富野, 壽, 荒木, 貞雄(1942-)

構造計画研究所, 共立出版 (発売)

玉井, 哲雄(1948-), 中谷, 多哉子

放送大学教育振興会

神長, 裕明, 郷, 健太郎, 杉浦, 茂樹(1968-), 高橋, 正和(1961-), 藤田, 茂, 渡辺, 喜道

共立出版

4 電子ブック ソフトウェア工学

岸, 知二(1956-), 野田, 夏子(1973-)

近代科学社

田中, 譲(1950-), 磯部, 祥尚, 粂野, 文洋, 櫻庭, 健年, 田口, 研治, 田原, 康之

近代科学社

浅井, 治, 石田, 晴久(1936-)

近代科学社

NTTデータソフトウェア工学推進センタ

オーム社

山田, 茂(1952-), 田村, 慶信

数理工学社, サイエンス社 (発売)