Tag Suche nach Syntax-gerichtete Verifikationsregeln

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

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

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