Logic-Based Program Synthesis and Transformation

Available
0
StarStarStarStarStar
0Reviews
Unknown authorUnknown author
This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019, held in Porto, Portugal, in October 2019. The 15 revised full papers were carefully reviewed and selected from 32 submissions. In addition to the 15 papers, this volume includes 2 invited papers.
The symposium cover all aspe...
Read more
product_type_E-book
epub
Price
44.99 £
This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019, held in Porto, Portugal, in October 2019. The 15 revised full papers were carefully reviewed and selected from 32 submissions. In addition to the 15 papers, this volume includes 2 invited papers.
The symposium cover all aspe...
Read more

Options

  • Formats: epub
  • ISBN: 9783030452605
  • Publication Date: 21 Apr 2020
  • Publisher: Springer International Publishing
  • Product language: English
  • Drm Setting: DRM