Tag Suche nach Programmverifikation

Programmverifikation - Buchbeschreibung, Ausstattung und ISBN Programmverifikation von Krzysztof R. Apt, Ernst-Rüdiger Olderog ist ein Titel aus dem Bereich Sachbuch, der thematisc...

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

Krzysztof R. Apt im Überblick Für externe Zuordnungen ist außerdem die Open-Library-ID OL7574395A vorhanden. Profildaten im Überblick Zuletzt mit Open Library abgeglichen am: 2019-...

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

Programmentwicklung und Verifikation im Überblick Programmentwicklung und Verifikation gehört zur Kategorie Sachbuch und stammt von Gerald Futschek - eine Kombination, die den Tite...

Was ist zu Gerald Futschek bekannt? Für externe Zuordnungen ist außerdem die Open-Library-ID OL898768A vorhanden. Wichtige Angaben Letztes Open-Library-Update: 2008-08-21 02:35:58...

Was ist über Springer Vienna bekannt? Springer Vienna wird in diesem Datensatz als Buchverlag geführt und dient als Referenz für verlegerische Zuordnungen. Damit lässt sich Springe...

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