Logic-Based Program Synthesis and Transformation: 16th

Logic-Based Program Synthesis and Transformation: 16th Inteational Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers .. Computer Science and General Issues)

Hardcover: 240 pages

Publisher: Springer (March 16, 2007)

Language: English

ISBN-10: 354071409X