1. Home
  2. eBooks
  3. Non-Fiction
  4. Computing & information technology
  5. Computer programming / software development
Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

by Emanuele De Angelis and Wim Vanhoof
Epub (Kobo), Epub (Adobe)
Publication Date: 22/02/2023
Be the first to write a review

Share This eBook:

  $81.99
Add to List

This item is delivered digitally

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.

ISBN:
9783030988692
9783030988692
Category:
Computer programming / software development
Format:
Epub (Kobo), Epub (Adobe)
Publication Date:
22-02-2023
Language:
English
Publisher:
Springer International Publishing

This item is delivered digitally

You can find this item in:

Computer programming / software development Mathematical theory of computation Artificial intelligence Computer networking & communications Network hardware Discrete mathematics Software Engineering Computer science
Show more Show less

Reviews

Be the first to review Logic-Based Program Synthesis and Transformation.