この商品をご覧のお客様は、こんな商品もチェックしています。
- ＩＴインフラのしくみと技術がこれ１冊でしっかりわかる教科書
-
価格：2,420円（本体2,200円＋税）
【2024年11月発売】
- 中学生「偏差値７０超」の子の勉強法
-
価格：1,760円（本体1,600円＋税）
【2024年05月発売】
- １週間でブロックチェーンの基礎が学べる本
-
価格：2,530円（本体2,300円＋税）
【2025年03月発売】
- 刑法総論 第４版
-
価格：3,190円（本体2,900円＋税）
【2024年09月発売】
- ＩＴＩＬ４の知識と実践がこれ１冊でしっかりわかる教科書
-
価格：2,530円（本体2,300円＋税）
【2023年11月発売】
のマークが目印です。
[BOOKデータベースより]
本書は、ソフトウェア開発におけるいわゆる形式手法（ｆｏｒｍａｌ ｍｅｔｈｏｄｓ）の入門書である。プログラムの正しさを証明するためのプログラム検証理論と形式仕様記述との初歩を紹介している。
第１章 プログラムの正しさ―プログラムの検証入門
第２章 Ｆｌｏｙｄ‐Ｈｏａｒｅ論理
第３章 仕様としての事前条件と事後条件
第４章 ＶＤＭ‐ＳＬによる仕様記述の例
第５章 例題で見るシステム仕様記述
第６章 事例で見る実用的仕様記述
付録Ａ ＶＤＭ‐ＳＬ概説
付録Ｂ Ｚによる仕様記述