SPINモデル検査入門

SPINモデル検査入門

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

件名

ソフトウェア工学

ソフトウェア -- 品質管理

ISBN

9784274208447

NCID

BB0158133X

番号

TRC : 10016888