• Logic Based Program Synthesis...

*Result*: Logic Based Program Synthesis and Transformation

*Title*:
Logic Based Program Synthesis and Transformation : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers / edited by Patricia M. Hill
*Author/editor-in-chief*:
Hill, Patricia M (Herausgeber)
*Edition*:
1st ed. 2006
*Publication*:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (X, 182 Seiten)
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 3901
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Logic Based Program Synthesis and Transformation. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - ISBN 9783540326540
*RVK-Notation*:
*SS 4000*
*Subject Added Keywords*:
*ISBN*:
9783540326564 ; 3540326561 ; --354032654-5 ; --354082103-1 ; 978--354032654-0 (Sekundärausgabe) ; 978--354082103-8 (Sekundärausgabe)
*DOI*:
10.1007/11680093

*Additional information*

*Additional functions*