Logic Based Program Synthesis and Transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers

作者：edited by Sandro Etalle.
出版社：Springer-Verlag GmbH.
ISBN：9783540316831 (electronic bk.) ; 9783540266556 (paper)
出版日期：2005
其他作者：Etalle, Sandro.
語言：zh
出版地：Berlin Heidelberg :
內容簡介

viii, 277 p. ::ill., digital ;:24 cm.

搜尋同作者