Mathematical methods in program development


名称	Mathematical methods in program development

索引号	TP311.52/E994
分类号	TP311.52 TP311.52(软件开发) TP311.5(软件工程) TP311(程序设计、软件工程) TP31(计算机软件) TP3(计算技术、计算机技术) TP(自动化技术计算技术技术) T(工业技术)
作者
出版社	Berlin ; New York : Springer, c1997.
ISBN
页数	viii, 528 p. ; 34 cm.
价格
标签
简介
注解	"Proceedings of the NATO Advances Study Institute on Mathematical Methods in Program Development, held in Marktoberdorf, Germany, July 30-August 11, 1996"--T.p. verso. Includes bibliographical references.