1. 首页
  2. 移动开发
  3. 其他
  4. 论文研究 基于SQL通用数据计算工具的设计与实现.pdf

论文研究 基于SQL通用数据计算工具的设计与实现.pdf

上传者: 2020-07-17 08:11:35上传 PDF文件 978.17KB 热度 16次
出具证明编译器是随着人们对现今的软件提出更高的可靠性和安全性要求而产生的工具,它结合了以往程序设计和程序安全性证明的技术。论文介绍了一个出具证明编译器原型系统的实现。
下载地址
用户评论