- モデル検査 上級編
-
- 価格
- 3,080円（本体2,800円＋税）
- 発行年月
- 2010年02月
- 判型
- Ａ５
- ISBN
- 9784764955066
この商品をご覧のお客様は、こんな商品もチェックしています。
- 今すぐ使えるかんたんＷｏｒｄ ＆ Ｅｘｃｅｌ ２０２４
-
価格：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データベースより]
第１章 導入
第２章 状態遷移系の合成
第３章 抽象化―状態数を減らす
第４章 ＣＴＬ（計算木論理）
付録Ａ 仕様記述言語Ｐｒｏｍｅｌａ
付録Ｂ ＮｕＳＭＶの仕様記述言語
付録Ｃ 演習環境について