■著者<br />赤間世紀<br />IO編集部<br /><br />■内容紹介<br />「形式手法」の基礎をできるだけ分かりやすく解説するため、まず理論的基礎である「古典論理」と「様相論理」を説明してから、「形式手法」に使われているさまざまな「非古典論理」と「仕様記述言語」を紹介。「ソフト開発者」に必須の知識を、一般的な「プログラマー」にもわかりやすく解説。<br /><br />■シリーズ名等<br />I／O BOOKS<br />