この商品をご覧のお客様は、こんな商品もチェックしています。
- なぜあの人は時間を守れないのか
-
価格：1,155円（本体1,050円＋税）
【2026年01月発売】
- １週間でＬＰＩＣの基礎が学べる本 第４版
-
価格：2,860円（本体2,600円＋税）
【2025年03月発売】
- 愛をつくる技術
-
価格：1,980円（本体1,800円＋税）
【2025年11月発売】
- 科学イラストから学ぶ 一目で効果的に技術を伝える方法
-
価格：2,420円（本体2,200円＋税）
【2025年08月発売】
- 時間と死
-
価格：1,210円（本体1,100円＋税）
【2024年06月発売】
のマークが目印です。
[BOOKデータベースより]
１章 論理で考える
[日販商品データベースより]２章 指先で考える
３章 機能仕様を論理で考える
４章 リファインメントを検査する
５章 オブジェクト指向デザインを検査する
６章 振る舞い仕様を検査する
７章 プログラム検査を論理で考える
付録 モデル規範形式手法の流れ
複雑な構造を数理理論に基づく論理構造で構築する形式手法を用いることによって、曖昧さのないプログラム記述が可能になる。本書では、その形式手法について、基礎から実務レベルのプログラミングまでを解説する。