Barnes and Noble
Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
Unfortunately, this item is no longer available, but we found some similar items you might like.