形式手法入門 / ロジックによるソフトウェア設計

複雑な構造を数理理論に基づく論理構造で構築する形式手法を用いることによって、曖昧さのないプログラム記述が可能になる。本書では、その形式手法について、基礎から実務レベルのプログラミングまでを解説する。