蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
資料の状態
各蔵書資料に関する詳細情報です。
No. |
資料番号 |
資料種別 |
請求記号 |
配架場所 |
状態 |
貸出
|
1 |
0008746687 | 図書一般 | 007.63/ハキ08/ | 書庫 | 貸出可 |
○ |
この資料に対する操作
カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。
いますぐ予約する を押すと 認証後この資料をすぐに予約します。
この資料に対する操作
電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。
書誌情報サマリ
タイトル |
SPINによる設計モデル検証
|
人名 |
萩谷 昌己/監修
|
人名ヨミ |
ハギヤ マサミ |
出版者・発行者 |
近代科学社
|
出版年月 |
2008.9 |
書誌詳細
この資料の書誌詳細情報です。
書誌種別 |
図書 |
タイトル |
SPINによる設計モデル検証 |
サブタイトル |
モデル検査の実践ソフトウェア検証 |
シリーズ名 |
トップエスイー実践講座 |
シリーズ番号 |
3 |
タイトルヨミ |
スピン ニ ヨル セッケイ モデル ケンショウ |
サブタイトルヨミ |
モデル ケンサ ノ ジッセン ソフトウェア ケンショウ |
シリーズ名ヨミ |
トップ エスイー ジッセン コウザ |
シリーズ番号ヨミ |
3 |
人名 |
萩谷 昌己/監修
吉岡 信和/著
青木 利晃/著
田原 康之/著
|
人名ヨミ |
ハギヤ マサミ ヨシオカ ノブカズ アオキ トシアキ タハラ ヤスユキ |
出版者・発行者 |
近代科学社
|
出版者・発行者等ヨミ |
キンダイ カガクシャ |
出版地・発行地 |
東京 |
出版・発行年月 |
2008.9 |
ページ数または枚数・巻数 |
17,226p |
大きさ |
24cm |
価格 |
¥3600 |
ISBN |
978-4-7649-0354-8 |
ISBN |
4-7649-0354-8 |
注記 |
文献:p187〜190 |
分類記号 |
007.63
|
件名 |
ソフトウェア工学
|
内容紹介 |
SPINを中心に、モデル検査をいかにしてソフトウェア開発のプロセスの中に位置づけるかについて、実例を通して詳説する。ソフトウェアの欠陥発見の精度向上と効率化に役立つノウハウが満載。 |
言語区分 |
jpn |
タイトルコード |
1009811115653 |
目次
内容細目
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
萩谷 昌己 吉岡 信和 青木 利晃 田原 康之
ナチュラルコンピューティング…第7巻
萩谷 昌己/編,…
コンピューティング : 原理とその…
萩谷 昌己/著
ナチュラルコンピューティング…第4巻
萩谷 昌己/編,…
情報システム
萩谷 昌己/著,…
ナチュラルコンピューティング…第0巻
萩谷 昌己/編,…
ナチュラルコンピューティング…第6巻
萩谷 昌己/編,…
ナチュラルコンピューティング…第3巻
萩谷 昌己/編,…
UPPAALによる性能モデル検証 …
大須賀 昭彦/監…
アカデミッククラウド調査報…2012
吉岡 信和/著,…
アカデミッククラウド調査報…2012
吉岡 信和/著,…
ナチュラルコンピューティング…第5巻
萩谷 昌己/編,…
ナチュラルコンピューティング…第2巻
萩谷 昌己/編,…
ナチュラルコンピューティング…第1巻
萩谷 昌己/編,…
数理的技法による情報セキュリティ
日本応用数理学会…
化学系・生物系の計算モデル
萩谷 昌己/著,…
DNAロボット : 生命のしかけで…
萩谷 昌己/著,…
ソフトウェア科学基礎 : 最先端の…
田中 譲/監修,…
論理と計算のしくみ
萩谷 昌己/著,…
考えるコンテンツ「スマーティブ」
本位田 真一/著…
DNAコンピュータ
萩谷 昌己/共編…
Common LISP入門
湯浅 太一/著,…
前へ
次へ
もどる