大拱桥--暨南大学学生门户 » 图书馆 » 计算技术、计算机技术 » Program verification using Ada
名称 Program verification using Ada
索引号 TP3-43/E904
分类号 TP3-43
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 McGettrick、 Andrew D.、 1944-、
出版社 Cambridge ; New York : Cambridge University Press, 1982.
ISBN
页数 345 p. ; 24 cm.
价格
标签
简介
注解 Includes index. 附註 Bibliography: p. 335-339.