下载地址：
下载地址1（本站为飞网专业下载站，域名：down.cfei.net）
资源简介：
正版 程序设计方法学书名:程序设计方法学作者:胡正国，吴健，邓正宏 编著出版社：国防工业出版社本书主要介绍程序设计方法学这一新兴学科的主要内容，即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序的形式推导技术、程序变换技术、面向对象的设计方法和大型程序设计方法学基础等。本书可供大专院校计算机专业学生使用，也可供硕士研究生及从事计算机工作的科研人员参考。目录--------------------------------------------------------------------------------第1章 程序设计方法简介第1节 程序设计方法学的产生第2节 结构程序设计及其讨论的一些主要问题习题第2章 结构化程序第1节 什么是结构化程序第2节 结构化定理第3节 一些新的控制结构习题第3章 模块化程序设计第1节 MODULA-2语言中的模块化结构第2节 ADA语言中的程序包习题第4章 面向对象的程序设计方法第1节 什么是面向对象的程序设计第2节 应用框架第3节 设计模式第4节 浅谈面向对象设计语言习题第5章 程序正确性证明第1节 概述第2节
飞网下载站，免费下载共享资料，内容涉及教育资源、专业资料、IT资源、娱乐生活、经济管理、办公文书、游戏资料等。
