資料詳細

  • 1 件中、 1 件目

SPINモデル検査入門 利用可

Mordechai Ben‐Ari／著 -- オーム社 -- 2010.3 -- 007.63

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 場所 棚番号 請求記号 資料コード 貸出利用 状態
本館 ４階PC Map 50 Pﾊ/007.63/ﾍﾝ/987891 1109878915 閲可 貸可 協可 －

ページの先頭へ

資料詳細

タイトル SPINモデル検査入門
著者 Mordechai Ben‐Ari ／著, 中島 震 ／監訳, 谷津 弘一 ／共訳, 野中 哲 ／共訳, 足立 太郎 ／共訳  
出版地 東京
出版者 オーム社
出版年 2010.3
ページ数 20,241p
大きさ 21cm
翻訳原書名注記 原タイトル:Principles of the Spin model checker
一般件名 ソフトウェア工学
内容紹介 自動検証法のひとつであるモデル検査ツール「SPIN」の使い方を、入力仕様記述言語であるPromelaの言語仕様とともに詳しく解説。非決定性という概念を理解するツールとしての用い方も説明する。
ISBN13桁 978-4-274-20844-7 国立国会図書館 カーリル GoogleBooks WebcatPlus
分類番号 007.63

ページの先頭へ