Maschinen-unabhngige-Code-Erzeugung-als-Semantikerhaltende-Beweisbare-Programmtransformation-Informatik-Fachberichte-German-Edition-Informatik-Fachberichte-91-Band-91 54,99 EUR*