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