文件名称：程序设计方法学——东大教授
文件大小：649KB
文件格式：RAR
更新时间：2012-11-03 16:19:36
程序程序程序程序
好东西，刚找到！分享了！我学习了一段时间觉的很好，对我的编程很有帮助！
【文件预览】：
程序设计方法学
----PM-06-Chap02-数理逻辑基础.ppt(101KB)
----PM-06-Chap05 最弱前置谓词和小程序语言的语义1.ppt(308KB)
----PM-06-Chap07 程序正确性证明-1.ppt(579KB)
----PM-06-Chap06 小程序设计的基本方法.ppt(250KB)
----PM-06-Chap01-概述.ppt(609KB)
----PM-06-Chap08 递归程序设计及其正确性证明.ppt(345KB)
----PM-06-Chap04 结构化程序设计及正确性证明.ppt(410KB)
----PM-06-Chap03-程序规范及其正确性证明概述.ppt(230KB)