大拱桥--暨南大学学生门户 » 图书馆 » (分类号：TP311-532/E20061)(共1本)

Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers

0
索取号：TP311-532/E20061/14
作者：LOPSTR 2004 (2004 : Verona、 Italy)、Etalle、 Sandro.、
出版社：Berlin ; New York : Springer, c2005.