Algorithms : the construction, proof, and analysis of programs

大拱桥--暨南大学学生门户 » 图书馆 » 计算机软件 » Algorithms : the construction, proof, and analysis of programs


名称	Algorithms : the construction, proof, and analysis of programs

索引号	TP31/E9087
分类号	TP31 TP31(计算机软件) TP3(计算技术、计算机技术) TP(自动化技术计算技术技术) T(工业技术)
作者	Berlioux、 Pierre.、Bizard、 Philippe.、
出版社	Chichester [West Sussex] ; New York : J. Wiley, 1986.
ISBN
页数	viii, 145 p. : ill. ; 23 cm.
价格
标签
简介
注解	Translation of: Algorithmique. 附註 Bibliography: p. 143-144.