"Logic-based program synthesis and transformation" - Information and Links:

Logic-based program synthesis and transformation - Info and Reading Options

17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers

Book's cover
The cover of “Logic-based program synthesis and transformation” - Open Library.

"Logic-based program synthesis and transformation" was published by Springer in 2008 - Berlin, it has 217 pages and the language of the book is English.


“Logic-based program synthesis and transformation” Metadata:

  • Title: ➤  Logic-based program synthesis and transformation
  • Author: ➤  
  • Language: English
  • Number of Pages: 217
  • Publisher: Springer
  • Publish Date:
  • Publish Location: Berlin

“Logic-based program synthesis and transformation” Subjects and Themes:

Edition Specifications:

  • Pagination: x, 217 p. :

Edition Identifiers:

AI-generated Review of “Logic-based program synthesis and transformation”:


"Logic-based program synthesis and transformation" Description:

Open Data:

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

Read “Logic-based program synthesis and transformation”:

Read “Logic-based program synthesis and transformation” by choosing from the options below.

Search for “Logic-based program synthesis and transformation” downloads:

Visit our Downloads Search page to see if downloads are available.

Find “Logic-based program synthesis and transformation” in Libraries Near You:

Read or borrow “Logic-based program synthesis and transformation” from your local library.

Buy “Logic-based program synthesis and transformation” online:

Shop for “Logic-based program synthesis and transformation” on popular online marketplaces.