>> 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-)

オーム社

Baldi, Pierre, Frasconi, Paolo, Smyth, Padhraic, 水田, 正弘, 南, 弘征, 小宮, 由里子

森北出版

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

エヌ・ティー・エス

小山, 照夫, 国立情報学研究所

丸善

豊田, 秀樹(1961-)

朝倉書店

平井, 慎一, 坪内, 孝司, 秋下, 貞夫

コロナ社

Archambeault, Bruce, Brench, Colin, Ramahi, Omar M., 渋谷, 昇(1947-), 高橋, 丈博, 櫻井, 秋久

三松株式会社出版事業部, 丸善株式会社出版事業部(発売)

中島, 淳雄, 山梨, 知彦

ラトルズ

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

近代科学社

Almon, Clopper, 篠井, 保彦(1943-), 長谷川, 聡哲(1948-), 今川, 健(1936-)

日本評論社