大拱桥--暨南大学学生门户 » 图书馆 » 程序设计、软件工程 » Algebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings
名称 Algebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings
索引号 TP311-532/E993/4
分类号 TP311-532/E993
TP311(程序设计、软件工程)
TP31(计算机软件)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 International Conference on Algebraic Methodology and Software Technology (4th : 1995 : Montréal、 Québec)、Alagar、 Vangalur S.、 1940-、Nivat、 M.、
出版社 Berlin : Springer-Verlag, c1995.
ISBN
页数 xiv, 591 p. : ill. ; 24 cm.
价格
标签
简介
注解