手机知网 App
24小时专家级知识服务
打 开
计算机软件及计算机应用
手机知网首页
文献检索
期刊
工具书
图书
我的知网
充值中心
综合:设想=>程序(续)
Zohar Manna
Richard Waldinger
冯玉琳
<正> 五、对程序设计方法论的影响根据我们以上的定义,程序综合只要求人们形式地给出程序的目的,而无须指出达到此目的的过程。实际上,程序综合系统的
领 域:
计算机软件及计算机应用
；
关键词:
程序综合
；
程序修改
；
不变式
；
结构程序设计
；
0
15
下载PDF版
手机阅读本文
下载APP 手机查看本文
计算机科学
1983年02期
精选好书
查看更多好书
相似文献
期刊
硕士
博士
会议
报纸
参考文献
引证文献
共引文献
同被引文献
二级参考文献
二级引证文献
图书推荐
相关工具书
搜 索
下载PDF版
