SPINモデル検査入門

• 資料種別: 図書
• ISBN: 978-4-274-20844-7
• タイトル: SPINモデル検査入門
• タイトルよみ: SPIN モデル ケンサ ニュウモン
• 著者・編者: Mordechai Ben-Ari 著; 中島震 監訳; 谷津弘一, 野中哲, 足立太郎 共訳
• 著者標目: Ben-Ari, M, 1948- ( 00432845 )典拠; 中島, 震, 1955- ナカジマ, シン, 1955- ( 00892083 )典拠; 谷津, 弘一 ヤツ, ヒロカズ ( 01193313 )典拠; 野中, 哲 ノナカ, アキラ ( 01193314 )典拠; 足立, 太郎, pub.2010 アダチ, タロウ, pub.2010 ( 01193315 )典拠
• 出版事項: 東京 : オーム社
• 出版年月日等: 2010.3
• 出版年（W3CDTF）: 2010
• 数量: 241p
• 大きさ: 21cm
• その他のタイトル: Principles of the Spin model checker
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 原文の言語コード: eng
• 件名標目: ソフトウェア--品質管理 ソフトウェア ヒンシツカンリ ( 00963619 )典拠
• NDC9版: 007.63 : 情報科学
• NDLC: M159
• 対象利用者: 一般
• 一般注記: 原タイトル: Principles of the Spin model checker
• 書誌注記: 文献あり 索引あり
• 入手条件・定価: 3300円
• 所蔵機関: 国立国会図書館
• 請求記号: M159-J876
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000010819217; http://id.ndl.go.jp/bib/000010819217
• 全国書誌番号: 21740241
• NS-MARC番号: 111107500
• 目録規則: 日本目録規則1987年版改訂版
• 整理区分コード: 112

• 要約等: ソフトの検証、並行性、非決定性を学ぶ（提供元: 出版情報登録センター（JPRO））