CVS教程<br> モデル検査 上級編―実践のための三つの技法

個数:

CVS教程
モデル検査 上級編―実践のための三つの技法

  • ウェブストアに1冊在庫がございます。(2025年06月23日 08時25分現在)
    通常、ご注文翌日~2日後に出荷されます。
  • 出荷予定日とご注意事項
    ※上記を必ずご確認ください

    【ご注意事項】 ※必ずお読みください
    ◆在庫数は刻々と変動しており、ご注文手続き中に減ることもございます。
    ◆在庫数以上の数量をご注文の場合には、超過した分はお取り寄せとなり日数がかかります。入手できないこともございます。
    ◆事情により出荷が遅れる場合がございます。
    ◆お届け日のご指定は承っておりません。
    ◆「帯」はお付けできない場合がございます。
    ◆画像の表紙や帯等は実物とは異なる場合があります。
    ◆特に表記のない限り特典はありません。
    ◆別冊解答などの付属品はお付けできない場合がございます。
  • ●3Dセキュア導入とクレジットカードによるお支払いについて
    ●店舗受取サービス(送料無料)もご利用いただけます。
    ご注文ステップ「お届け先情報設定」にてお受け取り店をご指定ください。尚、受取店舗限定の特典はお付けできません。詳細はこちら
  • サイズ A5判/ページ数 161p/高さ 21cm
  • 商品コード 9784764955066
  • NDC分類 007.63
  • Cコード C3055

目次

第1章 導入
第2章 状態遷移系の合成
第3章 抽象化―状態数を減らす
第4章 CTL(計算木論理)
付録A 仕様記述言語Promela
付録B NuSMVの仕様記述言語
付録C 演習環境について

感想・レビュー

※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。

明るいくよくよ人

0
初級編からの怒濤の連読。 しかし、上級編では、説明もはしょってしまってるし、そもそも記述方法の説明とかが抜けているのは、ちょっと困る。 初級本のわかりやさに比べて、どうしたのかな? しかし、例題とかはとても有用そう。別の本で勉強して、この本を再読してみよう。2012/05/27

外部のウェブサイトに移動します

よろしければ下記URLをクリックしてください。

https://bookmeter.com/books/420949
  • ご注意事項

    ご注意
    リンク先のウェブサイトは、株式会社ブックウォーカーの提供する「読書メーター」のページで、紀伊國屋書店のウェブサイトではなく、紀伊國屋書店の管理下にはないものです。
    この告知で掲載しているウェブサイトのアドレスについては、当ページ作成時点のものです。ウェブサイトのアドレスについては廃止や変更されることがあります。
    最新のアドレスについては、お客様ご自身でご確認ください。
    リンク先のウェブサイトについては、「株式会社ブックウォーカー」にご確認ください。

最近チェックした商品