Logic-Based Program Synthesis and Transformation bei ebook.de. Online bestellen oder in der Filiale abholen.