モデル検査 上級編―実践のための三つの技法 [単行本]
ショッピングカートに入れる

    • モデル検査 上級編―実践のための三つの技法 [単行本]

    • ￥3,08093 ゴールドポイント（3％還元）
    • 在庫あり2025年8月2日土曜日までにヨドバシエクストリームサービス便（無料）がお届け
モデル検査 上級編―実践のための三つの技法 [単行本]
100000009001084558

モデル検査 上級編―実践のための三つの技法 [単行本]

価格：￥3,080（税込）
ゴールドポイント：93 ゴールドポイント（3％還元）（￥93相当）
お届け日：在庫あり今すぐのご注文で、2025年8月2日土曜日までにヨドバシエクストリームサービス便（無料）がお届けします。［届け先変更］詳しくはこちら
出版社：近代科学社
販売開始日： 2010/02/20
お取り扱い： のお取り扱い商品です。
ご確認事項：返品不可

カテゴリランキング

店舗受け取りが可能です
マルチメディアAkiba、マルチメディア梅田、マルチメディア博多にて24時間営業時間外でもお受け取りいただけるようになりました

お客様へのおすすめ【PR】

モデル検査 上級編―実践のための三つの技法 [単行本] の 商品概要

  • 目次（「BOOK」データベースより）

    第１章　導入
    第２章　状態遷移系の合成
    第３章　抽象化―状態数を減らす
    第４章　ＣＴＬ（計算木論理）
    付録Ａ　仕様記述言語Ｐｒｏｍｅｌａ
    付録Ｂ　ＮｕＳＭＶの仕様記述言語
    付録Ｃ　演習環境について

モデル検査 上級編―実践のための三つの技法 [単行本] の商品スペック

商品仕様
出版社名：ナノオプト・メディア
著者名：産業技術総合研究所システム検証研究センター（著）
発行年月日：2010/02/24
ISBN-10：4764955067
ISBN-13：9784764955066
判型：A5
発売社名：近代科学社
対象：専門
発行形態：単行本
内容：電子通信
ページ数：161ページ
縦：21cm
他の近代科学社の書籍を探す

    近代科学社 モデル検査 上級編―実践のための三つの技法 [単行本] に関するレビューとＱ＆Ａ

    商品に関するご意見やご感想、購入者への質問をお待ちしています！