《自动程序设计》求取 ⇩
| 作者 | 王立国编著 编者 |
|---|---|
| 出版 | 北京：气象出版社 |
| 参考页数 | 128 ✅ 真实服务 非骗流量 ❤️ |
| 出版时间 | 1989（求助前请核对） 目录预览 |
| ISBN号 | 7502902112 — 违规投诉 / 求助条款 |
| PDF编号 | 810654588（学习资料 勿作它用） |
| 求助格式 | 扫描PDF（若分多册发行，每次仅能受理1册） |
目 录1
引 言1
第一部分形式化的程序设计1
一、规范、程序和程序设计1
二、最弱前置条件概念的引入3
三、wp的性质9
四、程序设计语言的wp语义14
五、关于选择语句和循环语句的定理25
六、程序设计的形式化方法31
七、基于wp演算的程序正确性证明33
八、基于wp演算的形式化程序设计41
九、面向目标的程序设计42
十、不变式推导技术50
第二部分 自动化的程序设计79
十一、概论79
十二、规范模式81
十三、逻辑程序设计语言PROLOG简介85
十四、规范演绎89
十五、知识库95
十六、程序综合的结构101
十七、PROLOG程序的自动综合102
十八、知识库的自学习126
参考文献128
1989《自动程序设计》由于是年代较久的资料都绝版了，几乎不可能购买到实物。如果大家为了学习确实需要，可向博主求助其电子版PDF文件（由王立国编著 1989 北京：气象出版社 出版的版本） 。对合法合规的求助，我会当即受理并将下载地址发送给你。
高度相关资料
-
- 程序设计
- 1985 上海：上海交通大学出版社
-
- PASCAL程序设计
- 1996年11月第1版 东南大学出版社
-
- 自动绘图程序设计参考 补充本
- 1978
-
- Ada程序设计
- 1989 北京：人民邮电出版社
-
- CGI程序设计自学通
- 1998 机械工业出版社；西蒙与舒斯特国际出版公司
-
- 程序设计 程序员级
- 1999 北京：清华大学出版社
-
- C的Windows动画程序设计
- 1994 北京：学苑出版社
-
- 自动设计
- 1983 北京：机械工业出版社
-
- Visual C++ 6.0程序设计自学教程
- 1999 北京：清华大学出版社
-
- Windows95程序设计
- 1995 北京：学苑出版社
-
- 自动数字计算机的程序设计
- 1964 北京：科学出版社
-
- FORTRAN程序设计
- 1980 北京：人民邮电出版社
-
- 实用C语言编程技巧与应用范例
- 1993 北京：海洋出版社
提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD