形式手法教科書

「形式手法」の基礎をできるだけ分かりやすく解説するため、まず理論的基礎である「古典論理」と「様相論理」を説明してから、「形式手法」に使われているさまざまな「非古典論理」と「仕様記述言語」を紹介。「ソフト開発者」に必須の知識を、一般的な「プログラマー」にもわかりやすく解説。