- 書籍
- 書籍
SPINによる設計モデル検証
商品が入荷した店舗:0店
店頭で購入可能な商品の入荷情報となります
ご来店の際には売り切れの場合もございます
お客様宅への発送や電話でのお取り置き・お取り寄せは行っておりません
SPINによる設計モデル検証
¥770
在庫なし
商品レビュー
5
1件のお客様レビュー
- ネタバレ
※このレビューにはネタバレを含みます
形式手法の教育を行う場合に、受講生は全部読んでいる必要はないという命題をたててみました。 というのは、トップエスイー実践講座3では、「高度な数学的知識を習得して、現実的なシステムの仕様記述に利用することは容易でははい。」「モデル検査は、検証に必要な証明の作業を完全に自動的に行うため、上述の形式検証技術一般の問題点を解決できる。」とあることにもとづいています。 ただし、講師になる人間は、全部読んでいる必要があると感じました。 本書を読む前に、「四日で学ぶモデル検証」を実際に動かした方がよいと感じています。 自分では、本書も先に目を通そうとしたことがありましたが、めげていました。 「四日で学ぶモデル検証」をやってからは、少なくとも動作させたことがある部分は、 読み進むことができました。
Posted by