hoare logic

【文件属性】：

文件名称：hoare logic

文件大小：668KB

文件格式：PDF

更新时间：2019-01-17 04:05:25

hoare logic

是霍尔逻辑的一个教案之类的文档，反正看看对了解霍尔逻辑的基础以及基本概念还是很有效的.