Logical derivation of computer programs


名称	Logical derivation of computer programs

索引号	TP301.6/E20012
分类号	TP301.6 TP301.6(算法理论) TP301(理论、方法) TP30(一般性问题) TP3(计算技术、计算机技术) TP(自动化技术计算技术技术) T(工业技术)
作者	Windeknecht、 Thomas G.、Thomas G. Windeknecht、
出版社	Exeter, England : Intellect, c1999.
ISBN
页数	ii, 208 p. : ill. ; 24 cm.
价格
标签
简介
注解