検索条件入力 ＞ 検索結果一覧：（本学所蔵） ＞ SPINモデル検査 : 検証モデリング技法 = Model checking with SPIN
書誌詳細
  

NCIDBA85720861
タイトルSPINモデル検査 : 検証モデリング技法 = Model checking with SPIN / 中島震著||SPIN モデル ケンサ : ケンショウ モデリング ギホウ
出版者東京 : 近代科学社 , 2008.4
形態xiii, 238p : 挿図 ; 24cm
別書名SPINモデル検査 : 検証モデリング技法
注記参考文献: p225-231
分類NDC8:007.63
NDC9:007.63
NDLC:M159
件名BSH:ソフトウェア工学
NDLSH:ソフトウェア -- 品質管理
著者情報中島, 震(1955-) (ナカジマ, シン)
和洋区分和
標題言語日本語
本文言語日本語
出版国日本
ISBN9784764903531
番号NBN : JP21412790
OTHN : TRC:08020089
WebCatPlus を見る    CiNii Books を見る
所蔵一覧
巻号予約予約人数所在請求記号資料ID状態備考
1 0図書館(書庫)007.6:N217001307 利用可  
0図書館(書庫)007.6:N217001308 利用可  

選択行を：  

▲ページトップへ