Search by Bookstore
Table of Contents
第1章 モデル検査とは―自動検証とモデル検査法 第2章 SPINを使ってみよう―Promelaの書き方とコマンドの使い方 第3章 性質を表現する―正しさの基準 第4章 対象を広げる―Promelaの実行規則 第5章 仕組みを理解する―SPINの検証法 第6章 ケーススタディ(1) ソフトウェアデザインを検証する―状態遷移ダイアグラムの解析 第7章 ケーススタディ(2) モデル検査を使い分ける―Java並行プログラムの解析 第8章 ケーススタディ(3) 組込みソフトウェアの解析に使う―システムソフトウェアへの適用 第9章 ケーススタディ(4) 検査対象の大きさを適切に保つ―抽象化の方法 第10章 ケーススタディ(5) デザイン検証の実際を知る―分散コンポーネントの振舞い検証
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/ﾅｶ/
東京都立中央図書館
Paper- Call No.：
- 007.6-6587-2008
- Book Registration Number：
- 5015161580
県立長野図書館
Paper- Call No.：
- 007.63/ﾅｼ/
- Book Registration Number：
- 0113289367
静岡市立中央図書館
Paper- Call No.：
- 007.63-ﾅ
- Book Registration Number：
- 141889683
Tokai-Hokuriku
岐阜県図書館
Paper- Call No.：
- 007.6-ナ
- Book Registration Number：
- 8133573884
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-0353-1
- Title Transcription
- SPIN モデル ケンサ : ケンショウ モデリング ギホウ
- Author/Editor
- 中島震 著
- Author Heading
- 中島, 震, 1955- ナカジマ, シン, 1955- ( 00892083 )Authorities
- Publication, Distribution, etc.
- Publication Date
- 2008.4
- Publication Date (W3CDTF)
- 2008
- Extent
- 238p