大拱桥--暨南大学学生门户 » 图书馆 » 软件工程 » Practical formal methods with VDM
名称 Practical formal methods with VDM
索引号 TP311.5/E9927
分类号 TP311.5
TP311.5(软件工程)
TP311(程序设计、软件工程)
TP31(计算机软件)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 Andrews、 Derek.、Ince、 D. (Darrel)、
出版社 London ; New York : McGraw-Hill, 1991.
ISBN
页数 xvi, 450 p. : ill. ; 25 cm.
价格
标签
简介
注解