書店で探す
目次
第1章 モデル検査とは―自動検証とモデル検査法 第2章 SPINを使ってみよう―Promelaの書き方とコマンドの使い方 第3章 性質を表現する―正しさの基準 第4章 対象を広げる―Promelaの実行規則 第5章 仕組みを理解する―SPINの検証法 第6章 ケーススタディ(1) ソフトウェアデザインを検証する―状態遷移ダイアグラムの解析 第7章 ケーススタディ(2) モデル検査を使い分ける―Java並行プログラムの解析 第8章 ケーススタディ(3) 組込みソフトウェアの解析に使う―システムソフトウェアへの適用 第9章 ケーススタディ(4) 検査対象の大きさを適切に保つ―抽象化の方法 第10章 ケーススタディ(5) デザイン検証の実際を知る―分散コンポーネントの振舞い検証
全国の図書館の所蔵
国立国会図書館以外の全国の図書館の所蔵状況を表示します。
所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください
関東
茨城県立図書館
紙- 請求記号：
- 007.6/ﾅｶ/
東京都立中央図書館
紙- 請求記号：
- 007.6-6587-2008
- 図書登録番号：
- 5015161580
県立長野図書館
紙- 請求記号：
- 007.63/ﾅｼ/
- 図書登録番号：
- 0113289367
静岡市立中央図書館
紙- 請求記号：
- 007.63-ﾅ
- 図書登録番号：
- 141889683
東海・北陸
岐阜県図書館
紙- 請求記号：
- 007.6-ナ
- 図書登録番号：
- 8133573884
書店で探す
出版書誌データベース 
から購入できる書店を探す
『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。
別の方法で探す
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 図書
- ISBN
- 978-4-7649-0353-1
- タイトルよみ
- SPIN モデル ケンサ : ケンショウ モデリング ギホウ
- 著者・編者
- 中島震 著
- 著者標目
- 中島, 震, 1955- ナカジマ, シン, 1955- ( 00892083 )典拠
- 出版事項
- 出版年月日等
- 2008.4
- 出版年（W3CDTF）
- 2008
- 数量
- 238p