大拱桥--暨南大学学生门户 » 图书馆 » 计算机软件 » Software prototyping, formal methods, and VDM
名称 Software prototyping, formal methods, and VDM
索引号 TP31/E90193
分类号 TP31
TP31(计算机软件)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 Hekmatpour、 Sharam、 1961-、Ince、 D. (Darrel)、
出版社 Wokingham, Eng. ; Reading, MA : Addison-Wesley, 1988.
ISBN
页数 x, 222 p. ; 24 cm.
价格
标签
简介
注解 Includes index. 附註 Bibliography: p. 138-153.