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.
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.
![Last Of The Summer Wine Series 3 to 4 DVD [2004]](https://avmedia.ams3.cdn.digitaloceanspaces.com/6/09/60987efc-11ce-481a-86b3-80bf835720e4.webp)
![Violent Femmes - Violent Femmes [CD]](https://avmedia.ams3.cdn.digitaloceanspaces.com/c/79/c7995a43-c4a4-490f-bfd2-e3f2464d5842.webp)
![28 Days Later / 28 Weeks Later / The Transporter / Transporter 2 DVD [2013]](https://avmedia.ams3.cdn.digitaloceanspaces.com/d/04/d04b5145-8fd1-4e32-bbbe-b7e7b766bb33.webp)
![Daniel Pemberton - Steve Jobs (Score) / O.S.T. [CD]](https://avmedia.ams3.cdn.digitaloceanspaces.com/6/32/632cce4b-645b-47e2-ae29-2ba6f4fe62b2.webp)
