大拱桥--暨南大学学生门户 » 图书馆 » 计算机软件 » Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997 : proceedings
名称 Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997 : proceedings
索引号 TP31-532/E992/1997
分类号 TP31-532/E992
TP31(计算机软件)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者
出版社 Berlin ; New York : Springer, c1997.
ISBN
页数 x, 431 p. : ill. ; 24 cm.
价格
标签
简介
注解 Includes bibliographical references and index.