"Logic-Based Program Synthesis and Transformation" - Information and Links:

Logic-Based Program Synthesis and Transformation - Info and Reading Options

8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers

"Logic-Based Program Synthesis and Transformation" was published by Springer London, Limited in 2003 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
  • Publisher: Springer London, Limited
  • Publish Date:

Edition Specifications:

  • Pagination: x, 338

Edition Identifiers:

AI-generated Review of “Logic-Based Program Synthesis and Transformation”:


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.