検索条件入力 ＞ 検索結果一覧：（本学所蔵） ＞ SPINモデル検査 : 検証モデリング技法 = Model checking with SPIN
書誌情報:SPINモデル検査 : 検証モデリング技法 = Model checking with SPIN
スピン モデル ケンサ : ケンショウ モデリング ギホウ
中島震著
東京 : 近代科学社 , 2008.4
xiii, 238p ; 24cm

WebCatPlus を見る
CiNii Books を見る


  


所蔵一覧
巻号予約人数所在請求記号資料ID状態貸出区分備考 
1 0中央５階
  • 007.63
  • N 34
  •  
00872341 利用可
一般 

選択行を：  

書誌詳細
刊年2008
形態xiii, 238p ; 24cm
注記参考文献: p225-231
出版国日本
標題言語日本語
本文言語日本語
著者情報中島, 震(1955-) (ナカジマ, シン)
分類NDC8:007.63
NDC9:007.63
ISBN9784764903531
件名BSH:ソフトウェア工学
NCIDBA85720861

WebCatPlus を見る    CiNii Books を見る
▲ページトップへ