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ギフト券プレゼント!
特集一覧へ
ジャンルランキング

人文・社会のランキング

今日の治療薬 解説と便覧 2017

浦部晶夫(編集)


サピエンス全史 文明の構造と人類の幸福 上

ユヴァル・ノア・ハラリ(著)


サピエンス全史 文明の構造と人類の幸福 下

ユヴァル・ノア・ハラリ(著)


ランキング一覧へ
ブクポン
アンケートに答えてポイントゲット!
アンケート一覧へ