SPIN モデル ケンサ ニュウモン
Mordechai Ben‐Ari著 ; 谷津弘一, 野中哲, 足立太郎共訳
東京 : オーム社, 2010.3
図書等| No. | 所在 | 請求記号 | 資料ID | 資料タイプ | 状況（返却予定日） | コレクション | 備考 | 予約・取り寄せ人数 |
|---|---|---|---|---|---|---|---|---|
|
1 |
007.63-B35
|
10010004563 |
一般図書 |
|
|
|
|
2010
xx, 241p ; 21cm
Principles of the Spin model checker
参考文献: p[235]-236
監訳: 中島震
日本
日本語 (jpn)
日本語 (jpn)
英語 (eng)
Ben-Ari, M., 1948- [ Ari, M. Ben-, 1948- ]
谷津, 弘一 (ヤツ, ヒロカズ)
野中, 哲 (ノナカ, アキラ)
足立, 太郎 (アダチ, タロウ)
中島, 震(1955-) (ナカジマ, シン)
NDC8:007.63
NDC9:007.63
9784274208447
BB0158133X
TRC : 10016888
