Title: Logic Based Program Synthesis and Transformation 13th International Symposium. About Ryefield Books. Weight: 474.26 grams.
eBay