資料詳細

  • 1 件中、 1 件目

[ 和図書 ] SPINモデル検査 検証モデリング技法

中島 震／著 -- 近代科学社 -- 2008.4 --

所蔵

所蔵は 1 件です。

所蔵館 所蔵場所 資料区分 請求記号 資料コード 所蔵状態 資料の利用
配架日 協力貸出 利用状況 返却予定日 資料取扱 予約数 付録注記 備考
中央 書庫 一般図書 /007.6/6587/2008 5015161580 Digital BookShelf
2008/06/24 可能 利用可   0
Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

ページの先頭へ

資料詳細 閉じる

ISBN 4-7649-0353-1
ISBN13桁 978-4-7649-0353-1
タイトル SPINモデル検査
タイトルカナ スピン モデル ケンサ
タイトル関連情報 検証モデリング技法
タイトル関連情報読み ケンショウ モデリング ギホウ
著者名 中島 震 ／著
著者名典拠番号

110003839040000

出版地 東京
出版者 近代科学社
出版者カナ キンダイ カガクシャ
出版年 2008.4
ページ数 13, 238p
大きさ 24cm
価格 ¥3800
内容紹介 モデル検査法の自動検証ツールの中で、もっとも実用的なSPINにはじめて触れるソフトウェア技術者向け入門書。前半はPromela/SPINの基本的事項を説明し、後半は適用事例を紹介する。
書誌・年譜・年表 文献:p225〜231
一般件名 ソフトウェア∥品質管理
一般件名カナ ソフトウェア∥ヒンシツカンリ
一般件名 ソフトウェア工学
一般件名カナ ソフトウェア コウガク
一般件名典拠番号

511743600000000

分類：都立NDC10版 007.63
資料情報1 『SPINモデル検査 検証モデリング技法』　中島 震／著 　近代科学社　2008.4（所蔵館：中央　 請求記号：/007.6/6587/2008　 資料コード：5015161580）
URL https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1107505737

ページの先頭へ