Verteilte Systeme: Formale Methoden - Anwendungen - Werkzeuge (SS 2000)

Verteilte Systeme:
Formale Methoden - Anwendungen - Werkzeuge
(SS 2000)

Diese Teleteaching-Vorlesung wird zusammen mit der Humbold-Universität zu Berlin veranstaltet; die Vorlesungen werden im Wechsel Di./Fr. in Berlin bzw. München gehalten und in die jeweils andere Universität übertragen.

Dozenten:
Di.: Prof. Dr. W. Reisig
Fr.: Prof. Dr. Dr. h.c. W. Brauer

Bereich:
4 SWS Vorlesung im Bereich Theoretische Informatik
Vertiefungsvorlesung

Zeit und Ort:
Di 9.00 c.t. - 11.00, Hörsaal S1128
Fr 9.00 c.t. - 11.00, Hörsaal S1128
Beginn: 2. Mai 2000, Ende: 21. Juli 2000

Hörerkreis:
Studierende im Hauptstudium der Informatik

Inhalt:


Themen- und Termin-Übersicht; Skript:
Hier entlang. Zu den einzelnen Vorlesungen sind dort auch Kopien der Folien abgelegt.

Weiterführende bzw. verwandte Vorlesungen:
Vorlesungen des Hauptstudiums aus dem Bereich Theoretische Informatik:

Literatur:
(tba)


Stefan Römer Tue May 2 16:16:13 MET DST 2000