Sommersemester 23

Vorlesung

Concurrency

Dozent:
  • Prof. Dr.-Ing. Lucas Vincenzo Davi
Ansprechpartner:
Semester:
Sommersemester 2022
Termin:
Mo, 14-16 Uhr
Raum:
S04T Hörsaalzentrum - S04 T01 A02 Experimentierhörsaal
Beginn:
03.04.2023
Ende:
14.07.2023
Sprache:
deutsch
Moodle:
Veranstaltung in Moodle
LSF:
Veranstaltung im LSF

Wichtige Hinweise:

Dieses Modul wird im geänderten Bachelorstudiengang Software Engineering nicht mehr angeboten

Literatur:

  • B.-A., Mordechai: Principles of Concurrent and Distributed Programming, Second Edition. Addison-Wesley 2006
  • B.-A., Mordechai: Principles of the Spin Model Checker. Springer, 2008
  • M. Herlihy, N. Shavit: The Art of Multiprocessor Programming, Revised Reprint. Morgan Kaufmann 2012

Prüfungsart:

schriftliche Klausur