Formal object-oriented development - 暨南大学图书馆


名称	Formal object-oriented development

索引号	TP311/E9966
分类号	TP311 TP311(程序设计、软件工程) TP31(计算机软件) TP3(计算技术、计算机技术) TP(自动化技术计算技术技术) T(工业技术)
作者
出版社	London ; New York : Springer, c1995.
ISBN
页数	422 p. : ill. ; 24 cm.
价格
标签
简介
注解	Includes bibliographical references (p. [318]-331) and index.