大拱桥--暨南大学学生门户 » 图书馆 » 设计与性能分析 » Computer logic, testing, and verification
名称 Computer logic, testing, and verification
索引号 TP302/E9024
分类号 TP302
TP302(设计与性能分析)
TP30(一般性问题)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 Roth、 J. Paul (John Paul)、 1922-、
出版社 Potomac, Md. : Computer Science Press, 1980.
ISBN
页数 xx, 176 p. : ill. ; 24 cm.
价格
标签
简介
注解