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

資料種別:
電子ブック
責任表示:
来間啓伸, 中島震著
言語:
日本語
出版情報:
近代科学社, 2007.12
形態:
1オンラインリソース ; 24
著者名:
シリーズ名:
トップエスイー実践講座 ;
書誌ID:
RB00781001
ISBN:
9784764971493 [4764971496] (: electronic bk)  CiNii Books  Webcat Plus  Google Books
9783000052392 [3000052394]  CiNii Books  Webcat Plus  Google Books
eリソース
Loading
子書誌情報
Loading
オンライン
所蔵情報
Loading availability information

類似資料:

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

石川 冬樹, 荒木 啓二郎

近代科学社

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

高橋, 直久, 丸山, 勝久

森北出版

Jackson, Daniel, 今井, 健男, 酒井, 政裕, 遠藤, 侑介, 片岡, 欣夫, 中島, 震(1955-)

オーム社

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

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

近代科学社

Jackson, Daniel, 今井, 健男, 酒井, 政裕, 遠藤, 侑介, 片岡, 欣夫, 中島, 震(1955-)

オーム社

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

中所, 武司

朝倉書店

萩谷 昌己, 吉岡 信和, 青木 利晃, 田原 康之

近代科学社

中島, 震(1955-), みわ, よしこ(1963-), 国立情報学研究所

丸善出版

高橋, 直久, 丸山, 勝久

森北出版

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

近代科学社

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

近代科学社

深沢 良彰, 鷲崎 弘宜, 丸山 勝久, 山本 里枝子, 久保 淳人

近代科学社