Barnes and Noble
Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, Proceedings
Unfortunately, this item is no longer available, but we found some similar items you might like.