hoare logic
是霍尔逻辑的一个教案之类的文档,反正看看对了解霍尔逻辑的基础以及基本概念还是很有效的.
下载地址
用户评论
