文件名称：程序设计方法学课件..........................................
文件大小：286KB
文件格式：RAR
更新时间：2012-11-02 16:31:37
程序设计方法学
很有用啊 ...........................
【文件预览】：
程序设计方法学
----PM讲义-第1章.ppt(59KB)
----PM讲义-第5章 最弱前置谓词和程序语言的语义.ppt(171KB)
----PM讲义-第7章 程序正确性证明（下）.ppt(151KB)
----PM讲义-第7章 程序正确性证明（上）.ppt(195KB)
----PM讲义-第6章 程序设计的基本方法.ppt(188KB)
----PM讲义-第3章 数理逻辑基础.ppt(62KB)
----PM讲义-第2章 结构化程序设计.ppt(369KB)
----PM讲义-第9章 程序变换技术.ppt(68KB)
----PM讲义-第8章 递归程序设计及其正确性证明.ppt(64KB)
----PM讲义-第4章 程序规范及其正确性证明简介.ppt(64KB)