bokomslag Logic-Based Program Synthesis and Transformation
Data & IT

Logic-Based Program Synthesis and Transformation

Emanuele De Angelis Wim Vanhoof

Pocket

839:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 177 sidor
  • 2022
This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.* The 8 papers presented in this volume were carefully reviewed and selected from a total of 15 reviewed submissions. Additionally, the book also contains 1 full-length invited talk. *Conference was held as a hybrid event due to the COVID-19 pandemic.
  • Författare: Emanuele De Angelis, Wim Vanhoof
  • Format: Pocket/Paperback
  • ISBN: 9783030988685
  • Språk: Engelska
  • Antal sidor: 177
  • Utgivningsdatum: 2022-03-13
  • Förlag: Springer Nature Switzerland AG