書店で探す
目次
第1章 設計モデル検証とモデル検査 第2章 モデル検査概論 第3章 モデル検査ツールSPIN概要 第4章 SPINによるモデル検査 第5章 SPINによる設計モデルの検証プロセス 第6章 設計モデルの検証の実際 第7章 検証の実践：抽象化・効率化・デバッグ 付録A PROMELA/SPINリファレンスマニュアル 付録B 設計モデルの検証プロセス 付録C 簡易ステートマシン図のシンタックスとセマンティクス 付録D 簡易ステートマシン図とPROMELAの対応
全国の図書館の所蔵
国立国会図書館以外の全国の図書館の所蔵状況を表示します。
所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください
関東
東京都立中央図書館
紙- 請求記号：
- 007.6-6560-2008
- 図書登録番号：
- 5015781657
横浜市立図書館
紙- 請求記号：
- 007.615070
- 図書登録番号：
- 2041060398
東海・北陸
岐阜県図書館
紙- 請求記号：
- 007.6-ト
- 図書登録番号：
- 8133694736
近畿
大阪府立中央図書館
紙- 請求記号：
- 007.6/5082N/
- 図書登録番号：
- 1115806703
大阪市立図書館
紙- 図書登録番号：
- 0011726266
書店で探す
出版書誌データベース 
から購入できる書店を探す
『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。
別の方法で探す
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 図書
- ISBN
- 978-4-7649-0354-8
- タイトルよみ
- SPIN ニ ヨル セッケイ モデル ケンショウ : モデル ケンサ ノ ジッセン ソフトウェア ケンショウ
- 著者・編者
- 萩谷昌己 監修吉岡信和, 青木利晃, 田原康之 著
- シリーズタイトル
- シリーズ著者・編者
- 本位田真一 監修
- 著者標目
- 萩谷, 昌己, 1957- ハギヤ, マサミ, 1957- ( 00148547 )典拠本位田, 真一, 1953- ホンイデン, シンイチ, 1953- ( 00192997 )典拠
- 出版事項
- 出版年月日等
- 2008.9