資料詳細

  • 1 件中、 1 件目

[ 和図書 ] SPINモデル検査入門

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

所蔵

所蔵は 1 件です。

所蔵館 所蔵場所 資料区分 請求記号 資料コード 所蔵状態 資料の利用
配架日 協力貸出 利用状況 返却予定日 資料取扱 予約数 付録注記 備考
中央 書庫 一般図書 /007.6/7355/2010 5018219791 Digital BookShelf
2010/04/27 可能 利用可   0

Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

    • 統合検索
      都内図書館の所蔵を
      横断検索します。       類似資料 AI Shelf
      この資料に類似した資料を
      AIが紹介します。

ページの先頭へ

資料詳細 閉じる

ISBN 4-274-20844-7
ISBN13桁 978-4-274-20844-7
タイトル SPINモデル検査入門
タイトルカナ スピン モデル ケンサ ニュウモン
著者名 Mordechai Ben‐Ari ／著, 中島 震 ／監訳, 谷津 弘一 ／共訳, 野中 哲 ／共訳, 足立 太郎 ／共訳
著者名典拠番号

120000021670000 , 110003839040000 , 110005710310000 , 110005075450000 , 110005710320000

出版地 東京
出版者 オーム社
出版者カナ オームシャ
出版年 2010.3
ページ数 20, 241p
大きさ 21cm
原タイトル注記 原タイトル:Principles of the Spin model checker
都立翻訳原書名注記 原タイトル:Principles of the Spin model checker
価格 ¥3300
内容紹介 自動検証法のひとつであるモデル検査ツール「SPIN」の使い方を、入力仕様記述言語であるPromelaの言語仕様とともに詳しく解説。非決定性という概念を理解するツールとしての用い方も説明する。
書誌・年譜・年表 文献:p235〜236
一般件名 ソフトウェア∥品質管理
一般件名カナ ソフトウェア∥ヒンシツカンリ
一般件名 ソフトウェア工学
一般件名カナ ソフトウェア コウガク
一般件名典拠番号

511743600000000

分類：都立NDC10版 007.63
資料情報1 『SPINモデル検査入門』　Mordechai Ben‐Ari／著, 中島 震／監訳 , 谷津 弘一／共訳　オーム社　2010.3（所蔵館：中央　 請求記号：/007.6/7355/2010　 資料コード：5018219791）
URL https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1108055643

ページの先頭へ