Product Description
ISBN: 9783540657651
TITLE: Logic-Based Program Synthesis and Transformation : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers : 1559
AUTHOR: Pierre Flener
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 24 Mar 1999