An introduction to formal specification with Z and VDM

大拱桥--暨南大学学生门户 » 图书馆 » 软件工程 » An introduction to formal specification with Z and VDM


名称	An introduction to formal specification with Z and VDM

索引号	TP311.5/E9910
分类号	TP311.5 TP311.5(软件工程) TP311(程序设计、软件工程) TP31(计算机软件) TP3(计算技术、计算机技术) TP(自动化技术计算技术技术) T(工业技术)
作者
出版社	London ; New York : McGraw-Hill, c1995.
ISBN
页数	xvii, 398 p. : ill. ; 25 cm.
价格
标签
简介
注解	Includes bibliographical references (p. 390-392) and index.