検索結果書誌詳細

内容紹介

自動検証法のひとつであるモデル検査ツール「SPIN」の使い方を、入力仕様記述言語であるPromelaの言語仕様とともに詳しく解説。非決定性という概念を理解するツールとしての用い方も説明する。

＋ 追加情報を見る

タイトルコード

1001010538214

書誌種別

図書

著者名

Mordechai Ben‐Ari／著

著者名ヨミ

Mordechai Ben Ari

出版者

オーム社

出版年月

2010.3

ページ数・枚数

20,241p

大きさ・形態

21cm

ISBN

4-274-20844-7

分類記号

007.63

書名

SPINモデル検査入門

書名ヨミ

スピン モデル ケンサ ニュウモン

著者紹介

イスラエルWeizmann Institute of Science教授。2004年、ACMのコンピュータ科学教育貢献に対する賞を受賞。

件名1

ソフトウェア工学