スピン モデル ケンサ : ケンショウ モデリング ギホウ
中島震著
東京 : 近代科学社, 2008.4
図書等| No. | 所在 | 請求記号 | 資料ID | 資料タイプ | 状況（返却予定日） | コレクション | 備考 | 予約・取り寄せ人数 |
|---|---|---|---|---|---|---|---|---|
|
1 |
007.6-N34
|
70012000340 |
放送大禁帯出一般 |
|
|
|
|
2008
xiii, 238p ; 24cm
Model checking with SPIN
参考文献: p225-231
日本
日本語 (jpn)
日本語 (jpn)
中島, 震(1955-) (ナカジマ, シン)
NDC8:007.63
NDC9:007.63
9784764903531
OU10059215
ID : BB10059215
NCID : BA85720861
