大拱桥--暨南大学学生门户 » 图书馆 » 计算技术、计算机技术 » Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
名称 Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
索引号 TP3-55/E906
分类号 TP3-55
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 Logics of Programs Workshop (1983 : Carnegie Mellon University)、Clarke、 Edmund.、Kozen、 Dexter、 1951-、
出版社 Berlin ; New York : Springer-Verlag, 1984.
ISBN
页数 vi, 527 p. : ill. ; 25 cm.
价格
标签
简介
注解 On cover: "Logics of programs, proceedings 1983." 附註 Includes bibliographical references.