SPINモデル検査 : 検証モデリング技法 = Model checking with SPIN

資料種別:
電子ブック
責任表示:
中島震著
言語:
日本語
出版情報:
東京 : 近代科学社, 2008.4
形態:
1 オンラインリソース
著者名:
中島, 震(1955-)  
書誌ID:
RB00770730
ISBN:
9784764970984 [4764970988] (: electronic bk)  CiNii Books  Webcat Plus  Google Books
9783000039294 [3000039296]  CiNii Books  Webcat Plus  Google Books
eリソース
Loading
子書誌情報
Loading
オンライン
所蔵情報
Loading availability information

類似資料:

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

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

オーム社

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

近代科学社

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

近代科学社

浅海, 智晴

日経BP社, 日経BP出版センター (発売)

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

近代科学社

鵜野, 伊津志(1955-), 弓本, 桂也, 板橋, 秀一

森北出版

産業技術総合研究所システム検証研究センター

エヌ・ティー・エス

室田, 一雄(1955-), 池上, 敦子, 土谷, 隆, 日本オペレーションズ・リサーチ学会

近代科学社

豊田, 秀樹(1961-)

朝倉書店

豊田, 秀樹(1961-)

朝倉書店