Overview
The book, Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers (Lecture Notes in Computer Science #2372) [Bulk, Wholesale, Quantity] ISBN#9783540439158 in Paperback by may be ordered in bulk quantities. Minimum starts at 25 copies. Availability based on publisher status and quantity being ordered.Details