《程序设计方法学》邓正宏吴健胡正国

城市

店铺名称

店主联系方式

店铺售价

库存

店铺得分/总交易量

发布时间

操作

新书比价

网站名称

书名

售价

优惠

操作

图书详情

出版社

国防工业出版社
ISBN

9787118029727
作者

邓正宏吴健胡正国
页数

266
出版时间

2007年04月01日
定价

¥23.00
所属分类

全部分类 > 计算机与网络 > 语言与编程

内容提要

本书主要介绍程序设计方法学这一新兴学科的主要内容,即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序的形式推导技术、程序变换技术、面向对象的设计方法和大型程序设计方法学基础等。
本书可供大专院校计算机专业学生使用,也可供硕士研究生及从事计算机工作的科研人员参考。

文章节选

程序设计方法学是20世纪60年代末到70年代初形成和发展起来的计算机科学领域中的一个新兴学科。近年来,这一学科的发展比较迅速,取得了不少令人鼓舞的成果。为了介绍这一学科的一些基本内容,我们在多年进行这方面教学的基础上编写了这本教材。
由于编写这本教材的目的是向读者介绍这一学科的一些*基本的内容,因而在讲述时尽量避免一些严格的形式化系统。读者在掌握了本教材基本内容以后,可以较顺利地阅读其他有关的专著,以求对这一学科有更深入的了解。
另外,本教材中没有采用统一的语言描述程序。我们感到,这样做尽管从表面上看不够统一,但是可以使读者接触较多的控制结构……

第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 浅谈面向对象设计语言
……