大拱桥--暨南大学学生门户 » 图书馆 » 专用\应用程序 » Proving programs correct
名称 Proving programs correct
索引号 TP319/E802
分类号 TP319
TP319(专用\应用程序)
TP31(计算机软件)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 Anderson、 Robert Brockett、 1941-、
出版社 New York : Wiley, 1979.
ISBN
页数 viii, 184 p. : ill. ; 23 cm.
价格
标签
简介
注解 Includes index. 附註 Bibliography: p. 170-182.