Formal Methods at the Crossroads. From Panacea to Foundational Support 十字路口中的形式方法
Aichernig, Bernhard K.; Maibaum, Tom;
Springer
出版时间：2004-01-22
出版社：Springer
作者：Aichernig, Bernhard K.; Maibaum, Tom;
页数：455
图书封面
下载链接
Formal Methods at the Crossroads. From Panacea to Foundational Support 十字路口中的形式方法PDF格式下载