大拱桥--暨南大学学生门户 » 图书馆 » 理论、方法 » Logic in computer science : modelling and reasoning about systems
名称 Logic in computer science : modelling and reasoning about systems
索引号 TP301/E991
分类号 TP301
TP301(理论、方法)
TP30(一般性问题)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 Huth、 Michael、 1962-、Ryan、 Mark、 1962-、
出版社 New York : Cambridge University Press, 1999.
ISBN
页数 xvii, 387p. : ill,; 24 cm.
价格
标签
简介
注解