Case Studies in Systematic Software Development

【文件属性】：

文件名称：Case Studies in Systematic Software Development

文件大小：2.67MB

文件格式：PDF

更新时间：2015-01-01 05:30:47

formal method

形式化方法的应用实例 列举了不同的实例显示形式化方法的应用， 最主要的比如VDM，等等 看完本书，对形式化方法会有一个清楚的认识