大拱桥--暨南大学学生门户 » 图书馆 » 总体设计、系统设计 » Concurrency verification : introductionto compositional and noncompositional methods
名称 Concurrency verification : introductionto compositional and noncompositional methods
索引号 TP302.1/E20021
分类号 TP302.1
TP302.1(总体设计、系统设计)
TP302(设计与性能分析)
TP30(一般性问题)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者
出版社 Cambridge, England ; New York : Cambridge University Press, 2001.
ISBN
页数 xxii, 776 p. : ill., photo ; 24 cm.
价格
标签
简介
注解