《程序设计语言 语法与语义》
| 作者 | 赖少庆等编著 编者 |
|---|---|
| 出版 | 成都：四川教育出版社 |
| 参考页数 | 234 |
| 出版时间 | 1990（求助前请核对） 目录预览 |
| ISBN号 | 7540811293 — 求助条款 |
| PDF编号 | 82297488（仅供预览，未存储实际文件） |
| 求助格式 | 扫描PDF（若分多册发行，每次仅能受理1册） |
第一章引论1
第一节 语言、语法与语义1
第二节 程序设计语言11
第二章程序设计语言的语法21
第一节 形式文法、Chomsky分类21
第二节 上下文无关文法及其子类36
第三节 几种定义语法的元语言43
第四节 上下文无关文法的局限55
第五节 W文法63
第三章程序设计语言的语义74
第一节 语义模型76
第二节 操作语义83
第三节 公理语义94
第四节 标志语义105
第五节 代数语义119
第六节 评论与展望128
第四章META-Ⅳ135
第一节 一个例子136
第二节 抽象数据类型147
第三节 抽象语法、论域表达式166
第四节 复合子、表达式及语句173
第五节 用META-Ⅳ定义语义185
第六节 VDM197
附录A208
录附B212
附录C224
参考文献232
1990《程序设计语言 语法与语义》由于是年代较久的资料都绝版了，几乎不可能购买到实物。如果大家为了学习确实需要，可向博主求助其电子版PDF文件（由赖少庆等编著 1990 成都：四川教育出版社 出版的版本） 。对合法合规的求助，我会当即受理并将下载地址发送给你。
高度相关资料
-
- 程序设计语言
- 1994 天津：南开大学出版社
-
- 程序设计语言 ALGOL讲义
- 1983
-
- 程序设计语言COBOL
- 1991 北京：北京师范大学出版社
-
- C语言程序设计
- 1994 北京：中国科学技术出版社
-
- C程序设计语言
- 1984 广州：广东高等教育出版社
-
- 程序设计方法与PASCAL语言
- 1998 北京：清华大学出版社
-
- Pascal语言程序设计
- 1998 北京：人民邮电出版社
-
- 程序设计语言
- 1984 北京：高等教育出版社
-
- 计算机语言与程序设计 QBASIC与C语言
- 1999 北京市：高等教育出版社
-
- C语言与程序设计
- 1997 天津：天津科学技术出版社
-
- 计算机语言与程序设计 BASIC与C语言
- 1996 北京：高等教育出版社
-
- 汉语程序设计语言
- 1994 北京：电子工业出版社
-
- C语言程序设计
- 1995 天津：南开大学出版社
-
- Java语言与程序设计
- 1997 北京：人民邮电出版社
提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD