Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 78, Proceedings: 13290 (Lecture Notes in Computer Science, 13290)
Compare webshops (1)
Shop
Price