书名:程序设计方法学
编号:1940
ISBN:9787118029727[十位:7118029726]
作者:邓正宏 吴健 胡正国
出版社:国防工业出版社
出版日期:2007年04月
页数:266
定价:23.00 元
参考重量:0.415Kg
-------------------------
图书情况:正版二手旧书,绝不影响正常阅读!
绝无缺页少页,发货前再次检查,请放心购买!
* 内容提要 *
本书主要介绍程序设计方法学这一新兴学科的主要内容,即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序的形式推导技术、程序变换技术、面向对象的设计方法和大型程序设计方法学基础等。
本书可供大专院校计算机专业学生使用,也可供硕士研究生及从事计算机工作的科研人员参考。
* 图书目录 *
第1章 程序设计方法学简介
1.1 程序设计方法学的产生
1.2 结构程序设计及其讨论的一些主要问题
习题
第2章 结构化程序
2.1 什么是结构化程序
2.2 结构化定理
2.3 一些新的控制结构
习题
第3章 模块化程序设计
3.1 MODULA-2语言中的模块化结构
3.2 ADA语言中的程序包
习题
第4章 面向对象的程序设计方法
4.1 什么是面向对象的程序设计
4.2 应用框架
4.3 设计模式
4.4 浅谈面向对象设计语言
……
* 文章节选 *
程序设计方法学是20世纪60年代末到70年代初形成和发展起来的计算机科学领域中的一个新兴学科。近年来,这一学科的发展比较迅速,取得了不少令人鼓舞的成果。为了介绍这一学科的一些基本内容,我们在多年进行这方面教学的基础上编写了这本教材。
由于编写这本教材的目的是向读者介绍这一学科的一些最基本的内容,因而在讲述时尽量避免一些严格的形式化系统。读者在掌握了本教材基本内容以后,可以较顺利地阅读其他有关的专著,以求对这一学科有更深入的了解。
另外,本教材中没有采用统一的语言描述程序。我们感到,这样做尽管从表面上看不够统一,但是可以使读者接触较多的控制结构……
* 编辑推荐与评论 *
暂无相关介绍
* 作者介绍 *
暂无相关介绍
-
暂无评论。