实用程序设计理论
￥ 15 2.7折 ￥ 56 八五品
仅1件
湖北咸宁
认证卖家担保交易快速发货售后保障
作者Eric C.R.Hehner
出版社科学出版社
ISBN9787030274250
出版时间2010-06
装帧平装
开本16开
定价56元
货号9787030274250
上书时间2024-07-20
- 在售商品 暂无
- 平均发货时间 12小时
- 好评率 暂无
商品详情
- 品相描述：八五品
- 商品描述
-
商品简介
全书正文部分共分为12章，系统地介绍了一种程序设计理论，包括基本理论、基本数据结构、函数理论、程序理论、程序设计语言、递归定义、理论设计与实现、并发和交互等内容。本书的内容既系统、丰富、连贯，又非常精练，浅显易懂。另外，本书还附有400多道有趣的练习题(全部集中在第10章)。
本书可作为高等院校计算机科学专业的高年级本科生和研究生程序理论课程的教材，也可作为对软件形式化方法有兴趣的研究人员和技术人员的参考书。
目录
中译本序
第0章 绪言
0．0 引言
0．1 当前版本
0．2 快速浏览
0．3 致谢
章 基本理论
1．0 布尔理论
1．1 数论
1．2 字符理论
第2章 基本数据结构
2．0 束论
2．1* 集合论
2．2 串论
2．3 表论
第3章 函数理论
3．0 函数
3．1 量词
3．2* 函数若干点讨论
3．3 表作为函数
3．4* 极限与实数
第4章 程序理论
4．0 规范
4．1 程序开发
4．2 时间
4．3 空间
第5章 程序设计语言
5．0 作用域
5．1 数据结构
5．2 控制结构
5．3 时间与空间依赖
5．4* 断言
5．5 子程序
5．6* 别名
5．7* 概率程序设计
5．8* 函数式程序设计
第6章 递归定义
6．0 递归数据定义
6．1 递归程序定义
第7章 理论设计与实现
7，0 数据理论
7．1 程序理论
7．2 数据转换
第8章 并发
8．0 独立组合
8．1 顺序到并行的转换
第9章 交互
9．0 交互变量
9．1 通信
0章 练习
10．0 基本理论
10．1 基本数据结构
10．2 函数理论
10．3 程序理论
10．4 程序设计语言
10．5 递归定义
10．6 理论设计与实现
10．7 并发
10．8 交互
1章 参考
11．0 释疑
11．1 来源
11．2 参考文献
11．3 词语对照与索引
11．4 公理和定律
11．5 名字
11．6 符号
11．7 优先级
11．8 分配性
译后记
内容摘要
全书正文部分共分为12章，系统地介绍了一种程序设计理论，包括基本理论、基本数据结构、函数理论、程序理论、程序设计语言、递归定义、理论设计与实现、并发和交互等内容。本书的内容既系统、丰富、连贯，又很好精练，浅显易懂。另外，本书还附有400多道有趣的练习题(全部集中在0章)。
本书可作为高等院校计算机科学专业的高年级本科生和研究生程序理论课程的教材，也可作为对软件形式化方法有兴趣的研究人员和技术人员的参考书。
— 没有更多了 —
以下为对购买帮助不大的评价