Logic-based program synthesis and transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, revised selected papers

Author：edited by Michael Hanus.
Publisher：Springer Berlin Heidelberg
ISBN：9783642005152 (electronic bk.) ; 9783642005145 (paper)
Publication Date：2009
其他作者：Hanus, Michael.
語言：zh
出版地：Berlin, Heidelberg :
Description

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

Search Same Author