Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers: 7844 (Lecture Notes in Computer Science)

More Information

Format: Paperback
Pages: 256
Edition: 2013
Publisher: Springer
Published: 03 May 2013
ISBN 10: 3642381960
ISBN 13: 9783642381966