Tag Suche nach Programmtransformation

Programmverifikation im Überblick Programmverifikation ist ein Werk von Ernst-Rüdiger Olderog, Krzysztof R. Apt, das innerhalb der Kategorie Sachbuch eingeordnet wird und bereits d...

Kurzprofil von Krzysztof R. Apt Im Datensatz ist 1949 als Geburtsdatum hinterlegt. Für externe Zuordnungen ist außerdem die Open-Library-ID OL529894A vorhanden. Profildaten im Über...

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

Was ist zu Ernst-Rüdiger Olderog bekannt? Als externe Referenz ist die Open-Library-ID OL4041478A hinterlegt. Profildaten im Überblick Letztes Open-Library-Update: 2008-04-30 20:50...

Static Analysis: Inhalt, Einordnung und bibliografische Details Static Analysis ist ein Werk von SAS <11, 2004, Verona>, das innerhalb der Kategorie Sachbuch eingeordnet wird...

SAS im Überblick Für externe Zuordnungen ist außerdem die Open-Library-ID OL7579501A vorhanden. Hinterlegte Eckdaten Zuletzt mit Open Library abgeglichen am: 2019-07-07 10:40:21 Op...

Optimierung objektorientierter Programme von Martin Trapp - Informationen zur Ausgabe Mit Optimierung objektorientierter Programme liegt ein Buch von Martin Trapp vor, das der Kate...

Martin Trapp im Überblick Als externe Referenz ist die Open-Library-ID OL7107099A hinterlegt. Hinterlegte Eckdaten Open-Library-ID: OL7107099A Letztes Open-Library-Update: 2012-04-...

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...

Was ist über Springer Berlin Heidelberg bekannt? Springer Berlin Heidelberg ist hier als Verlag erfasst und kann zur Einordnung von Buchausgaben herangezogen werden. Gerade für ein...

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...