Logic-Based Program Synthesis and Transformation: 18th Inteational Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected .. Computer Science and General Issues)
Hardcover: 185 pages
Publisher: Springer (February 27, 2009)
Language: English
ISBN-10: 3642005144