R. W. Butler(From NASA). What is Formal Methods

【文件属性】：

文件名称：R. W. Butler(From NASA). What is Formal Methods

文件大小：136KB

文件格式：PDF

更新时间：2013-08-18 09:06:47

形式化方法 Formal Methods

关于“形式化方法”概念的说明，很易于理解。对刚接触形式化方法的人很有帮助。