文件名称:程序设计方法学——东大教授
文件大小: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)