Maschinen-unabhängige Code-Erzeugung als Semantikerhaltende Beweisbare Programmtransformation (Informatik-Fachberichte) (German Edition) (Informatik-Fachberichte (91), Band 91) 54,99 EUR*