大拱桥--暨南大学学生门户 » 图书馆 » 逻辑设计 » CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings
名称 CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings
索引号 TP302.2-532/E20011/1988
分类号 TP302.2-532/E20011
TP302.2(逻辑设计)
TP302(设计与性能分析)
TP30(一般性问题)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 Workshop on Computer Science Logic (2nd : 1988 : Duisburg、 Germany)、Börger、 E. (Egon)、 1946-、Kleine Büning、 H. (Hans)、Richter、 Michael M.、 1938-、
出版社 Berlin : Springer-Verlag, c1989.
ISBN
页数 vi, 399 p. : ill. ; 25 cm.
价格
标签
简介
注解