SPINモデル検査入門

＜図書＞
SPINモデル検査入門
SPIN モデルケンサニュウモン

責任表示	Mordechai Ben‐Ari著 ; 谷津弘一, 野中哲, 足立太郎共訳
データ種別	図書
出版情報	東京 : オーム社 , 2010.3
本文言語	日本語
大きさ	xx, 241p ; 21cm
目次	PROMELA逐次モデル記述逐次モデル記述の検証並行性同期機構時相論理による検証データとモデル記述の構造通信チャネル非決定性 PROMELAの高度な使い方 SPINの高度な話題ケーススタディ続きを見る

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
		理系図1F 開架	007.63/B 35	2010		031112011001545		予約・取寄			予約・取寄

別書名	原タイトル:Principles of the Spin model checker
一般注記	参考文献: p[235]-236 監訳: 中島震
著者標目	Ben-Ari, M., 1948- 谷津, 弘一 <ヤツ, ヒロカズ> 野中, 哲 <ノナカ, アキラ> 足立, 太郎 <アダチ, タロウ> 中島, 震(1955-) <ナカジマ, シン>
件　名	BSH:ソフトウェア工学 NDLSH:ソフトウェア -- 品質管理全ての件名で検索
分　類	NDC8:007.63 NDC9:007.63
書誌ID	1001456182
ISBN	9784274208447
NCID	BB0158133X
巻冊次	ISBN:9784274208447 ; PRICE:3300円+税
登録日	2011.09.29
更新日	2011.09.29