(1 - 15 von 20
)
Zuse goes Guide3D
www.perspektive-mittelstand.de
Dr. Sabine Glesner, Professor für Informatik an der TU Berlin ist der Meinung: „Wenn Konrad Zuse seinen Plankalkül konsequent durchgesetzt und weiter entwickelt hätte, hätte er selbst gemerkt, wie visionär seine Idee dieser ...
AGRA - Service - Veranstaltungen - Uni Bremenwww.informatik.uni-bremen.de › ger › veranstaltung
www.informatik.uni-bremen.de
Optimierende Übersetzer: Vertrauen ist gut, Verfikation ist besser! Dr. Sabine Glesner Datum: Uhrzeit: Uhr c.t.. Ort: Bremen, Uni Bremen
Fachgruppe FoMSESS der Gesellschaft für Informatik e.V.rgse.uni-koblenz.de › fomsess › veranstaltungen
rgse.uni-koblenz.de
Sabine Glesner) · FG Treffen März in Karlsruhe (Lehrstuhl Prof Gregor Snelting) · FG Treffen in Darmstadt (Lehrstuhl Heiko Mantel) · FG Treffen ...
Fachgruppe FoMSESS der Gesellschaft für Informatik e.V.
i12www.ira.uka.de
— Sabine Glesner, Universität Karlsruhe, und Sergio Montenegro, FIRST Berlin Formal Verification of the Real-Time Operating System BOSS and ... › fomsess › programm
sortiert nach Relevanz / Datum