Title: Logic-Based Program Synthesis and Transformation 22nd International Symposium. Classification: Mathematical logic. Weight: 484.69 grams.
eBay