Tag Suche nach Codegenerierung

Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation im Überblick Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Pr...

Kurzprofil von Herbert Stoyan Für externe Zuordnungen ist außerdem die Open-Library-ID OL1676717A vorhanden. Wichtige Angaben Erfasster Beitragstyp: author Open-Library-ID: OL16767...

Springer im Überblick Springer ist hier als Verlag erfasst und kann zur Einordnung von Buchausgaben herangezogen werden. Gerade für einen schnellen Überblick über Verlagsangaben is...