Logic-Based Program Synthesis and Transformation: 22nd

Logic-Based Program Synthesis and Transformation: 22nd Inteational Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected .. Computer Science and General Issues)

Hardcover: 255 pages

Publisher: Springer (April 10, 2013)

Language: English

ISBN-10: 3642381960