形式化方法

【文件属性】：

文件名称：形式化方法

文件大小：7.99MB

文件格式：PDF

更新时间：2021-04-06 09:15:46

形式化方法

形式化方法：通过数学逻辑来表述一个软件开发，最终还可以通过验证来证明软件开发的可行性。