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

Author：edited by Sandro Etalle.
Publisher：Springer-Verlag GmbH.
ISBN：9783540316831 (electronic bk.) ; 9783540266556 (paper)
Publication Date：2005
其他作者：Etalle, Sandro.
語言：zh
出版地：Berlin Heidelberg :
Description

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

Search Same Author