Logic-Based Program Synthesis and Transformation: 30th International Symposium | Kaicus Deutschland

Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings (Lecture Notes in Computer Science, Band 12561)

77.54 EUR 3% Off 80.24 EUR

Marke: Maribel Fernández