东北大学程序设计方法学课件
不涉及实际的编程技巧，讨论的是程序设计的逻辑思维与数学证明
文件列表
.rar
(预估有个11文件)
程序设计方法学
PM讲义-第4章 结构化程序设计.ppt
508KB
PM讲义-第5章 最弱前置谓词和程序语言的语义.ppt
141KB
PM-09-Chap0-介绍.ppt
223KB
PM讲义-第7章 程序正确性证明（下）.ppt
230KB
PM讲义-第7章 程序正确性证明（上）.ppt
231KB
PM讲义-第6章 程序设计的基本方法.ppt
172KB
PM-08-Chap02-数理逻辑基础.ppt
181KB
PM讲义-第3章 程序规范及其正确性证明简介.ppt
151KB
PM讲义-第9章 程序变换技术.ppt
68KB
暂无评论