Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers / Edition 1
Unfortunately, this item is no longer available, but we found some similar items you might like.
