Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected ... Computer Science and General Issues)

Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected ... Computer Science and General Issues)

by Danny De Schreye (Editor)

Synopsis

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.

$73.76

Quantity

10 in stock

More Information

Format: Paperback
Pages: 215
Edition: 1st Edition.
Publisher: Springer
Published: 20 Apr 2010

ISBN 10: 3642125913
ISBN 13: 9783642125911