Logic-Based Program Synthesis and Transformation: 18th

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