大拱桥--暨南大学学生门户 » 图书馆 » 程序设计方法 » Unifying theories of programming
名称 Unifying theories of programming
索引号 TP311.11/E993
分类号 TP311.11
TP311.11(程序设计方法)
TP311.1(程序设计)
TP311(程序设计、软件工程)
TP31(计算机软件)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 Hoare、 C. A. R. (Charles Anthony Richard)、 1934-、Jifeng、 He、 1943-、
出版社 London ; New York : PrenticeHall, c1998.
ISBN
页数 xix, 298 p. : ill, ; 23 cm.
价格
标签
简介
注解