
- 中古
- 書籍
- 書籍
- 1211-06-00
モデル検査 上級編 実践のための三つの技法

定価 ¥3,080
1,210円 定価より1,870円(60%)おトク
獲得ポイント11P
在庫なし
発送時期 1~5日以内に発送

商品詳細
内容紹介 | |
---|---|
販売会社/発売会社 | ナノオプトメディア/近代科学社 |
発売年月日 | 2010/02/24 |
JAN | 9784764955066 |
- 書籍
- 書籍
モデル検査 上級編
商品が入荷した店舗:0店
店頭で購入可能な商品の入荷情報となります
ご来店の際には売り切れの場合もございます
オンラインストア上の価格と店頭価格は異なります
お電話やお問い合わせフォームでの在庫確認、お客様宅への発送やお取り置き・お取り寄せは行っておりません
モデル検査 上級編
¥1,210
在庫なし
商品レビュー
5
1件のお客様レビュー
- ネタバレ
※このレビューにはネタバレを含みます
SPINを使っていましたが, 産総研のSMVのセミナを受講したら, SMVがとてもモデル記述が楽だということが分かりました。 最初のうちはCTLがうまく書けませんでした。 本書の例を入れて行くうちに,だんだん馴染んできつつあります。 産総研のセミナはぜひ受講するとよいと思いました。 さつきのWEBで入力するときは 1: になっている行は True: に変更しないとエラーになるかもしれません。 さつきのWEBではLTLは受け付けておらず, CTLで検証することになっているようです。
Posted by