検索結果書誌詳細：蔵書検索システム

ログインの状態：ログインしていません。ログインすると利用状況の確認等のサービスを利用できます。		カート（予約候補） 0 登録されていません。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数在庫数予約数などを確認できます。

所蔵数	1	在庫数	1	予約数	0

カートに入れるを押すとこの資料を予約する候補として予約カートに追加します。

いますぐ予約するを押すと認証後この資料をすぐに予約します。

電子書籍を読むを押すと電子図書館に移動しこの資料の電子書籍を読むことができます。

各蔵書資料に関する詳細情報です。

No.	所蔵館	資料番号	請求記号	所蔵場所	配架場所	帯出区分	状態	貸出
1	ミライｏｎ	1117161302	007.6/ﾅ-08/	３F	閉架図書	帯出可	在庫	○

この資料の書誌詳細情報です。

書誌種別	図書（一般）
著者名	中島震／著
著者名ヨミ	ナカジマシン
出版者	近代科学社
出版年月	2008.4
ページ数	238p
大きさ	24cm
ISBN	4-7649-0353-1
分類記号	007.63
書名	SPINモデル検査
書名ヨミ	スピンモデルケンサ
副書名	検証モデリング技法
副書名ヨミ	ケンショウモデリングギホウ
内容紹介	モデル検査法の自動検証ツールの中で、もっとも実用的なSPINにはじめて触れるソフトウェア技術者向け入門書。前半はPromela/SPINの基本的事項を説明し、後半は適用事例を紹介する。
著者紹介	〈中島震〉東京大学大学院理学系研究科修士課程修了。国立情報学研究所教授・総合研究大学院大学教授。学術博士(東京大学)。形式手法、自動検証、ソフトウェア・モデリングなどの研究に従事。