Title: Logic-Based Program Synthesis and Transformation 16th International Symposium. About Ryefield Books. Weight: 479.24 grams.
eBay