by Danny De Schreye (Editor)
Constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009, held in Coimbra, Portugal, during September 9-11, 2009.
Format: Paperback
Pages: 215
Edition: 1st Edition.
Publisher: Springer
Published: 20 Apr 2010
ISBN 10: 3642125913
ISBN 13: 9783642125911