|
|
4日で学ぶモデル検査 (初級編) (CVS教程 (1))
|
|
産業技術総合研究所システム検証研究センター
エヌ・ティー・エス
ISBN: 4860431197
紀伊國屋,
Amazon,
WebCat
|
| カテゴリ |
|
| 評 価 |
|
| コメント |
|
nobsun2006 :
|
SPINの使い方が学べる
|
|
kmt-t :
|
日本語の唯一のモデル検査の本。形式手法といえば理論先行で難しい話が多いが、そういった話はまったくなし。産総研の本気で現場の技術者にモデル検査を導入して欲しいという気合が感じられ、本当に簡単に誰でも4日でモデル検査の処理系が使えるようになる内容なのがすばらしい。例が秀逸で、モデル検査をつかわなければ正当性が判断不能なのもよい。
|
|
| 他の本棚 |
nobsun2006, toshiharu, kmt-t, kuwa, tui
|
最終更新 : 2006-07-31 03:55:05 +0900
|
| カテゴリ |
|
| 評 価 |
|
| コメント |
|
|
|
 大崎公園
披露山公園
源氏山公園
しおさい公園
城ヶ島公園
 真鶴
逗子
熱海
下田
伊東
|
