
Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings (Lecture Notes in Computer Science, 13290) (PDF/EPUB Version)
$19.99
Description
Author: Emanuele De Angelis (editor), Wim Vanhoof (editor)
Series:
Publisher: Springer
Year: 2022
Edition: 1st ed. 2022
Language: English
ISSN: