Tag Suche nach Formale Semantik

Semantik und Programmverifikation von Christoph Walther - Informationen zur Ausgabe Wer nach einem Buch von Christoph Walther aus dem Themenfeld Sachbuch sucht, findet mit Semantik...

Kurzprofil von Christoph Walther Für externe Zuordnungen ist außerdem die Open-Library-ID OL1069781A vorhanden. Profildaten im Überblick Zuletzt mit Open Library abgeglichen am: 20...

Kurzprofil von Vieweg+Teubner Verlag Vieweg+Teubner Verlag ist hier als Verlag erfasst und kann zur Einordnung von Buchausgaben herangezogen werden. Gerade für einen schnellen Über...