pagetop

本 モデル検査 初級編

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

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

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

目次

モデル検査とは/例題「システムα」―モデル検査の基礎/例題「ランプ点灯?」/例題「Mini Life Game」窓辺の花/例題「ウサギちゃんとオオカミくん」/例題「並行システムと排他制御」/LTL式の概要/例題「3進カウンタ」/例題「階段ぴょんぴょん」/例題「プログラム(C言語)の試験」実践練習/演習「自動販売機」/仕様記述言語Promela/NuSMVの仕様記述言語/命題論理式の真偽/演習環境について

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

この本にはまだブクレポが投稿されていません。
うれしい全品送料無料♪全商品5%ポイント還元!<a href="index.php?module=ecrlist&action=plist&it=BK"target="_parent">▼新刊・予約はコチラ!</a>
Yahoo!ウォレット利用開始記念 Tポイント・今だけ最大5%!
出版社共同企画!もれなく100ptプレゼント!
BOOKFANのツイッターをフォローする♪
BOOKFANキャラクター大集合!LINEクリエイターズスタンプ配信中☆
特集一覧へ