论文研究 基于SQL通用数据计算工具的设计与实现.pdf 上传者：sjzbxyz 2020-07-17 08:11:35上传 PDF文件 978.17KB 热度 39次 出具证明编译器是随着人们对现今的软件提出更高的可靠性和安全性要求而产生的工具，它结合了以往程序设计和程序安全性证明的技术。论文介绍了一个出具证明编译器原型系统的实现。 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
