大拱桥--暨南大学学生门户 » 图书馆 » 计算技术、计算机技术 » Computer programming and formal systems
名称 Computer programming and formal systems
索引号 TP3/E704
分类号 TP3
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 Braffort、 P. (Paul)、 ed.、Hirschberg、 D. (David)、 joint ed.、
出版社 Amsterdam : North-Holland Pub. Co., 1963.
ISBN
页数 vi, 161 p. : ill. ; 22 cm.
价格
标签
简介
注解 Imprint covered by label: New York, Humanities Press. 附註 Includes bibliographies.