Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings

দ্বারা Maribel Fernández
4/5
প্রথম প্রকাশিত
2021
প্রকাশকদের
Springer International Publishing AG
ভাষা
English

বইগুলো

অনুরূপ বই