pagetop

本 モデル検査 上級編

ほしい!に追加 twitter
本-モデル検査 上級編
著者: 産業技術総合研究所システム検証研究センタ (著)
定価 ¥3,024(税込)
BOOKFANポイント: 28 pt
or
Tポイント: 28 pt (Yahoo!ウォレット決済利用時)

商品情報

出版社名
ナノオプト・メディア
シリーズ名
CVS教程 2
発行年月
2010年 02月
ISBNコード
9784764955066
版型
--
ページ数
161P
平均評価
(まだ評価がありません)
ブクレポ
0件

新刊お知らせ登録一覧へ »

産業技術総合研究所システム検証研究センタ OFF

目次

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

うれしい全品送料無料♪全商品1%ポイント還元!
ご注意!ラッピング、お届け日の指定は承れません!
出版社共同企画!もれなく100ptプレゼント!
BOOKFANのツイッターをフォローする♪
BOOKFANキャラクター大集合!LINEクリエイターズスタンプ配信中☆
電子書籍に自分だけのサインがもらえる!eBookサイン会情報はこちら!
特集一覧へ