大拱桥--暨南大学学生门户 » 图书馆 » 自动化系统理论 » Formal methods for interactive systems
名称 Formal methods for interactive systems
索引号 TP11/E993
分类号 TP11
TP11(自动化系统理论)
TP1(自动化-基础理论)
TP(自动化技术计算技术技术)
T(工业技术)
作者 Dix、 Alan.、
出版社 London ; San Diego : Academic Press, c1991.
ISBN
页数 369 p. : ill. ; 24 cm.
价格
标签
简介
注解