検索結果書誌詳細

図書一般
ログインすると表紙画像を
ご覧になれます

蔵書情報

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

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

書誌情報サマリ

書名

SPINモデル検査　

著者名 中島 震／著
著者名ヨミ ナカジマ シン
出版者 近代科学社
出版年月 2008.4

この資料に対する操作

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

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

  

この資料に対する操作

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

登録するリストログインメモ

資料情報

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

No. 所蔵館 資料番号 請求番号 配架場所 帯出区分 状態 貸出
1 県立長野図0113289367007.63/ﾅｼ/書庫帯出可在庫  ○

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

書誌詳細

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

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



内容細目

前のページへ
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。