%0
Book
%T
Logic-based program synthesis and transformation
18th international symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 ; revised selected papers
%A LOPSTR 18 2008 Valencia
%A Hanus, Michael
%I Springer
%@ 3642005144
%@ 9783642005145
%K Logic programming Congresses
%K Konferenzschrift 2008 Valencia
%K Logische Programmierung
%K Programmsynthese
%K Programmtransformation
%K Softwareentwicklung
%K Komponente Software
%K Testmustergenerierung
%K Constraint-logische Programmierung
%K Funktionale Programmierung
%D 2009
%X Literaturangaben
%C Springer
%C Berlin
%U http://slubdd.de/katalog?TN_libero_mab2