Barnes and Noble
Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
Unfortunately, this item is no longer available, but we found some similar items you might like.