を買いました。形式手法やそれに必要な理論がかかれてます。ソフトウェア科学基礎―最先端のソフトウェア開発に求められる数理的基礎 (トップエスイー基礎講座)作者: 磯部祥尚,櫻庭健年,田口研治,田原康之,粂野文洋,田中譲出版社/メーカー: 近代科学社発売日:…