本棚.org

ソフトウェア科学基礎―最先端のソフトウェア開発に求められる数理的基礎 (トップエスイー基礎講座)	kuwa
SPINによる設計モデル検証―モデル検査の実践ソフトウェア検証 (トップエスイー実践講座)	kuwa
UPPAALによる性能モデル検証 (トップエスイー実践講座)	kuwa