- モデル検査 初級編
-
基礎から実践まで４日で学べる
ＣＶＳ教程 １
- 価格
- 3,080円（本体2,800円＋税）
- 発行年月
- 2009年11月
- 判型
- Ａ５
- ISBN
- 9784764955059
この商品をご覧のお客様は、こんな商品もチェックしています。
- 今すぐ使えるかんたんＷｏｒｄ ＆ Ｅｘｃｅｌ ２０２４
-
価格：1,870円（本体1,700円＋税）
【2025年07月発売】
- はじめてのＰｏｗｅｒ Ａｕｔｏｍａｔｅ ｆｏｒ ｄｅｓｋｔｏｐ
-
価格：2,860円（本体2,600円＋税）
【2025年03月発売】
- できるＰｏｗｅｒ Ａｕｔｏｍａｔｅ ｆｏｒ ｄｅｓｋｔｏｐ
-
価格：2,420円（本体2,200円＋税）
【2023年02月発売】
- ＩＴロードマップ ２０２５年版
-
価格：3,080円（本体2,800円＋税）
【2025年03月発売】
- 教育産業のしくみとビジネスがこれ１冊でしっかりわかる教科書
-
価格：1,980円（本体1,800円＋税）
【2025年06月発売】
のマークが目印です。
[BOOKデータベースより]
モデル検査とは
例題「システムα」―モデル検査の基礎
例題「ランプ点灯？」
例題「Ｍｉｎｉ Ｌｉｆｅ Ｇａｍｅ」窓辺の花
例題「ウサギちゃんとオオカミくん」
例題「並行システムと排他制御」
ＬＴＬ式の概要
例題「３進カウンタ」
例題「階段ぴょんぴょん」
例題「プログラム（Ｃ言語）の試験」実践練習
演習「自動販売機」
仕様記述言語Ｐｒｏｍｅｌａ
ＮｕＳＭＶの仕様記述言語
命題論理式の真偽
演習環境について