ソフトウェア科学基礎

を買いました。形式手法やそれに必要な理論がかかれてます。

ソフトウェア科学基礎―最先端のソフトウェア開発に求められる数理的基礎 (トップエスイー基礎講座)