大拱桥--暨南大学学生门户 » 图书馆 » 逻辑设计 » Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers
名称 Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers
索引号 TP302.2-532/E20011/1993
分类号 TP302.2-532/E20011
TP302.2(逻辑设计)
TP302(设计与性能分析)
TP30(一般性问题)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者
出版社 Berlin ; New York : Springer-Verlag, c1994.
ISBN
页数 viii, 336 p. : ill. ; 24 cm.
价格
标签
简介
注解 Includes bibliographical references.