search for books and compare prices
Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Sort options: binding | publication date | edition
Paperback
Book cover for 9783540787686
 
from Springer-Verlag New York Inc (May 20, 2008)
9783540787686 | details & prices | 217 pages | 6.00 × 9.00 × 0.75 in. | 0.80 lbs | List price $89.99
About: This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, examines program termination, program transformation, constraint solving and analysis as well as software engineering.