全文预览

程序设计方法学基本理论程序正确性证明

上传者：徐小白 |  格式：pptx  |  页数：26 |  大小：159KB

文档介绍
猜你喜欢
程序正确性证明 56页
结构化程序的正确性证明 19页
结构化程序的正确性证明 19页
程序规范及其正确性证明概述 41页
程序设计方法学 56页
汇编语言程序设计基本方法 18页
汇编语言程序设计基本方法 18页
艺术设计概论设计方法程序与管理 32页
汇编语言程序设计 第5章基本程序设计 28页
程序设计 引论 17页
文件处理程序设计方法 35页
程序构造的基本方法 36页

收藏

分享

举报
下载此文档