Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings

Emanuele De Angelis 및 Wim Vanhoof
    • US$44.99
    • US$44.99

출판사 설명

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.

장르
컴퓨터 및 인터넷
출시일
2022년
3월 12일
언어
EN
영어
길이
186
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
20.4
MB