>> Google Books
QRコード(所蔵情報)

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

フォーマット:
図書
責任表示:
中島震著
言語:
日本語
出版情報:
東京 : 近代科学社, 2008.4
形態:
xiii, 238p ; 24cm
著者名:
中島, 震(1955-) <DA13681738>  
書誌ID:
BA85720861
ISBN:
9784764903531 [4764903539]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information

類似資料:

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

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

オーム社

電子情報技術産業協会ソリューションサービス事業委員会, 電子情報技術産業協会

商事法務

青木, 均, 嶌末, 政憲, 川原, 康雄

丸善

浅海, 智晴

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

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

オーム社

Schäuffele, Jörg, Zurawka, Thomas, 福田, 晃(1954-), シュタールジャパン

シュタールジャパン, 日刊工業新聞社(発売)

豊田, 秀樹(1961-)

朝倉書店

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

放送大学教育振興会

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

近代科学社