程序设计方法学资料，国防工业出版社
正版程序设计方法学书名:程序设计方法学作者:胡正国，吴健，邓正宏编著出版社：国防工业出版社本书主要介绍程序设计方法学这一新兴学科的主要内容，即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序的形式推导技术、程序变换技术、面向对象的设计方法和大型程序设计方法学基础等。本书可供大专院校计算机专业学生使用，也可供硕士研究生及从事计算机工作的科研人员参考。目录--------------------------------------------------------------------------------第1章程序设计方法简介第1节程序设计方法学的产生第2节结构程序设计及其讨论的一些主要
下载地址
用户评论
整体不错，内容很完整，这是第一版的书，很多学校用的这个书作教材
教材不错，但是略显模糊
是我们上课用的教材，但是不得不说分数太贵 了
也算比较经典的教材
很经典的教材 值得的软件开发人员重温 谢谢分享
谢谢分享啊，好用
下载完成后发现 就是一本教材 只不过是pdf的 还以为会有答案呢
教材而已，凑活着看看了
很不错的资源，内容很完整。可以先大体预览一下这本书，然后再考虑要不要入手实体书。
内容比较模糊 可以看看