程序设计方法学——东大教授

时间:2012-11-03 16:19:36
【文件属性】:

文件名称:程序设计方法学——东大教授

文件大小: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)

网友评论