大拱桥--暨南大学学生门户 » 图书馆 » 程序设计 » Theoretical aspects of computer software : Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 : proceedings
名称 Theoretical aspects of computer software : Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 : proceedings
索引号 TP311.1-532/E991/1997
分类号 TP311.1-532/E991
TP311.1(程序设计)
TP311(程序设计、软件工程)
TP31(计算机软件)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 TACS '97 (1997 : Sendai-han、 Japan)、Abadi、 Martín.、Itō、 T. (Takayasu)、 1940-、
出版社 Berlin : Springer, c1997.
ISBN
页数 xi, 638 p. : ill. ; 24 cm.
价格
标签
简介
注解