Ebook: Logic-Based Program Synthesis and Transformation. 31st International Symposium, LOPSTR 2021 Tallinn, Estonia, September 7–8, 2021 Proceedings
Author: Emanuele De Angelis Wim Vanhoof
- Series: Lecture Notes in Computer Science 13290
- Year: 2022
- Publisher: Springer
- Language: English
- pdf
Download the book Logic-Based Program Synthesis and Transformation. 31st International Symposium, LOPSTR 2021 Tallinn, Estonia, September 7–8, 2021 Proceedings for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)