Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2006)

All listings for this product