大拱桥--暨南大学学生门户 » 图书馆 » | 08 环境公报 » 自动程序设计 [电子资源]
名称 自动程序设计 [电子资源]
索引号
分类号
(| 08 环境公报)
作者
出版社 , 1989
ISBN 7502902112
页数 128页
价格
标签
简介
注解 本书是关于程序综合研究的导引与介绍。主要讨论了E.W.Dijkstra的最弱前置演算和作者的有关研究工作,用较多的例题做了讲解。