大拱桥--暨南大学学生门户 » 图书馆 » 计算机软件 » Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980
名称 Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980
索引号 TP31/E90195
分类号 TP31
TP31(计算机软件)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 Symposium on Logics of Programs and their Applications (1980 : Poznâan、 Poland)、Salwicki、 Andrzej.、
出版社 Berlin ; New York : Springer-Verlag, 1983.
ISBN
页数 vi, 324 p. : ill. ; 25 cm.
价格
标签
简介
注解