pagetop

本 モデル検査 上級編

ほしい!に追加 twitter
本-モデル検査 上級編
著者: 産業技術総合研究所システム検証研究センタ (著)
定価 ¥3,024(税込)
BOOKFANポイント: 140 pt
or
Tポイント: 84 pt (Yahoo!ウォレット決済利用時)
出版社名 ナノオプト・メディア
シリーズ名 CVS教程 2
発行年月 2010年 02月
ISBNコード 9784764955066
版型 --
ページ数 161P
平均評価
(まだ評価がありません)
ブクレポ 0件

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

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

目次

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

ブクレポ  ( ブクレポについて

この本にはまだブクレポが投稿されていません。
うれしい全品送料無料♪全商品5%ポイント還元!<a href="index.php?module=ecrlist&action=plist&it=BK"target="_parent">▼新刊・予約はコチラ!</a>
ご注意!ラッピング、お届け日の指定は承れません!
出版社共同企画!もれなく100ptプレゼント!
BOOKFANのツイッターをフォローする♪
BOOKFANキャラクター大集合!LINEクリエイターズスタンプ配信中☆
【電子ストア】最高5,000円分ギフト券プレゼント中!お買い物時にご利用ください!
電子書籍をはじめて購入いただく方にもれなく!\39ギフト券プレゼント!
特集一覧へ