SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証

資料種別:
電子ブック
責任表示:
萩谷昌己[ほか]著
言語:
日本語
出版情報:
近代科学社, 2008.9
形態:
1オンラインリソース ; 24
著者名:
シリーズ名:
トップエスイー実践講座 ;
書誌ID:
RB00781003
ISBN:
9784764971516 [4764971518] (: electronic bk)  CiNii Books  Webcat Plus  Google Books
9783000052392 [3000052396]  CiNii Books  Webcat Plus  Google Books
eリソース
Loading
子書誌情報
Loading
オンライン
所蔵情報
Loading availability information

類似資料:

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

大須賀 昭彦, 長谷川 哲夫, 田原 康之, 磯部 祥尚

近代科学社

佐藤, 司, 冨永, 善視, 森元, 敏雄

インプレス

中島, 震(1955-)

近代科学社

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

オーム社

Ben-Ari, M., 1948-, 谷津, 弘一, 野中, 哲, 足立, 太郎, 中島, 震(1955-)

オーム社

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

オーム社

田中 譲, 磯部 祥尚, 粂野 文洋, 桜庭 健年, 田口 研治, 田原 康之

近代科学社

Berger, Nevin, Arent, Michael, Arnowitz, Jonathan, Sampson, Fred, 日向, あおい

オライリー・ジャパン, オーム社 (発売)

中島, 震(1955-), 來間, 啓伸

近代科学社