出版日期：2007年04月
ISBN：9787118029727
[十位：7118029726]
页数：266
定价：￥23.00
店铺售价：￥6.40
（为您节省：￥16.60）
店铺库存：1
本
正在处理购买信息，请稍候……
我要买：
本
* 如何购买
联系店主：
18230226648
-
100分
满分
确认收货后30天未评价，系统默认好评！
[2025-01-13 10:29:09]
小*
漳州市
-
100分
满分
确认收货后30天未评价，系统默认好评！
[2025-01-12 13:50:23]
南宁市
-
100分
满分
确认收货后30天未评价，系统默认好评！
[2025-01-07 23:52:30]
杨*
莆田市
-
100分
满分
确认收货后30天未评价，系统默认好评！
[2025-01-02 22:18:44]
汪*
襄阳市
-
100分
满分
确认收货后30天未评价，系统默认好评！
[2024-12-25 20:58:37]
陈**
桂林市
《程序设计方法学》内容提要：
本书主要介绍程序设计方法学这一新兴学科的主要内容,即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序的形式推导技术、程序变换技术、面向对象的设计方法和大型程序设计方法学基础等。
本书可供大专院校计算机专业学生使用,也可供硕士研究生及从事计算机工作的科研人员参考。
《程序设计方法学》图书目录：
第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年代初形成和发展起来的计算机科学领域中的一个新兴学科。近年来,这一学科的发展比较迅速,取得了不少令人鼓舞的成果。为了介绍这一学科的一些基本内容,我们在多年进行这方面教学的基础上编写了这本教材。
由于编写这本教材的目的是向读者介绍这一学科的一些*基本的内容,因而在讲述时尽量避免一些严格的形式化系统。读者在掌握了本教材基本内容以后,可以较顺利地阅读其他有关的专著,以求对这一学科有更深入的了解。
另外,本教材中没有采用统一的语言描述程序。我们感到,这样做尽管从表面上看不够统一,但是可以使读者接触较多的控制结构……