Logic-Based Program Synthesis and Transformation: 20th

Logic-Based Program Synthesis and Transformation: 20th Inteational Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected .. Computer Science and General Issues)

Hardcover: 253 pages

Publisher: Springer (May 2, 2011)

Language: English

ISBN-10: 364220550X