CURRENTLY SOLD OUT

Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers by Patricia M. Hill (Paperback, 2006)