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クリエイターズスタンプ配信中☆
特集一覧へ
ジャンルランキング

人文・社会のランキング

病気がみえる vol.11

医療情報科学研究所(編集)


運動機能障害の「なぜ?」がわかる評価戦略

工藤慎太郎(編著)


第1種電気工事士筆記試験すい~っと合格 ぜんぶ絵で見て覚える 2017年版

安永頼弘(共著)


ランキング一覧へ