Search by Bookstore
Table of Contents
第1章 設計モデル検証とモデル検査 第2章 モデル検査概論 第3章 モデル検査ツールSPIN概要 第4章 SPINによるモデル検査 第5章 SPINによる設計モデルの検証プロセス 第6章 設計モデルの検証の実際 第7章 検証の実践：抽象化・効率化・デバッグ 付録A PROMELA/SPINリファレンスマニュアル 付録B 設計モデルの検証プロセス 付録C 簡易ステートマシン図のシンタックスとセマンティクス 付録D 簡易ステートマシン図とPROMELAの対応
Holdings of Libraries in Japan
This page shows libraries in Japan other than the National Diet Library that hold the material.
Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.
Kanto
東京都立中央図書館
Paper- Call No.：
- 007.6-6560-2008
- Book Registration Number：
- 5015781657
横浜市立図書館
Paper- Call No.：
- 007.615070
- Book Registration Number：
- 2041060398
Tokai-Hokuriku
岐阜県図書館
Paper- Call No.：
- 007.6-ト
- Book Registration Number：
- 8133694736
Kinki
大阪府立中央図書館
Paper- Call No.：
- 007.6/5082N
- Book Registration Number：
- 1115806703
大阪市立図書館
Paper- Book Registration Number：
- 0011726266
Search by Bookstore
Publication bibliographic database 
Find a bookstore where you can purchase books from
Books is a database of the publishing industry with information provided by publishers. You can search for currently available paperbacks and eBooks.
Find by another way
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 図書
- ISBN
- 978-4-7649-0354-8
- Title Transcription
- SPIN ニ ヨル セッケイ モデル ケンショウ : モデル ケンサ ノ ジッセン ソフトウェア ケンショウ
- Author/Editor
- 萩谷昌己 監修吉岡信和, 青木利晃, 田原康之 著
- Series Title
- Author/Editor (Series Title)
- 本位田真一 監修
- Author Heading
- 萩谷, 昌己, 1957- ハギヤ, マサミ, 1957- ( 00148547 )Authorities吉岡, 信和 ヨシオカ, ノブカズ ( 01038784 )Authorities青木, 利晃 アオキ, トシアキ ( 01140686 )Authorities田原, 康之 タハラ, ヤスユキ ( 01140687 )Authorities本位田, 真一, 1953- ホンイデン, シンイチ, 1953- ( 00192997 )Authorities
- Publication, Distribution, etc.
- Publication Date
- 2008.9