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

作者：edited by Michael Hanus.
出版社：Springer Berlin Heidelberg
ISBN：9783642005152 (electronic bk.) ; 9783642005145 (paper)
出版日期：2009
其他作者：Hanus, Michael.
語言：zh
出版地：Berlin, Heidelberg :
內容簡介

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

搜尋同作者