ヘルプ
×終了
日本語
|
English
埼玉大学図書館
検索
ブックマーク
マイライブラリ
検索条件入力
>
書誌詳細
>
関連資料一覧:(本学所蔵)
> SPINモデル検査 : 検証モデリング技法 = Model checking with SPIN
書誌詳細
NCID
BA85720861
タイトル
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-)
(ナカジマ, シン)
和洋区分
和
標題言語
日本語
本文言語
日本語
出版国
日本
ISBN
9784764903531
番号
NBN : JP21412790
OTHN : TRC:08020089
WebCatPlus を見る
CiNii Books を見る
所蔵一覧
巻号
予約
予約人数
所在
請求記号
資料ID
状態
備考
1
0
図書館(書庫)
007.6:N
217001307
利用可
0
図書館(書庫)
007.6:N
217001308
利用可
選択行を:
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。
カナ
英字
EXC
ギリシャ
キリル
ハングル
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
초성
중성
종성