大拱桥--暨南大学学生门户 » 图书馆 » (分类号：TP31-532/E992)(共1本)

Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997 : proceedings

0
索取号：TP31-532/E992/1997
作者：
出版社：Berlin ; New York : Springer, c1997.