Barnes and Noble
Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers / Edition 1
Unfortunately, this item is no longer available, but we found some similar items you might like.