大拱桥--暨南大学学生门户 » 图书馆 » 程序设计、软件工程 » Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers
名称 Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers
索引号 TP311-532/E20061/14
分类号 TP311-532/E20061
TP311(程序设计、软件工程)
TP31(计算机软件)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 LOPSTR 2004 (2004 : Verona、 Italy)、Etalle、 Sandro.、
出版社 Berlin ; New York : Springer, c2005.
ISBN
页数 viii, 277 p. : ill. ; 24 cm.
价格
标签
简介
注解 Also issued online.