Sommersemester 19
Übung
Concurrency
- Dozent:
- Prof. Dr.-Ing. Lucas Vincenzo Davi
- Ansprechpartner:
- Semester:
- Sommersemester 2019
- Termin:
- Mo, Di, Mi, 16-18 Uhr
- Raum:
- S-M 205
- Beginn:
- 08.04.2019
- Ende:
- 10.07.2019
- Sprache:
- deutsch
- Moodle:
- Veranstaltung in Moodle
- LSF:
- Veranstaltung im LSF
Beschreibung:
Theoretische und praktische Übungen zur Vorlesung Concurrency.
Je nach Übungsart findet entweder eine Zentralübung am Mo im Vorlesungsraum SH-601 oder Kleingruppenübungen am Mo, Di, Mi im Raum SM-205 statt. Genaue Termine werden in der Vorlesung bekannt gegeben.
Qualifikationsziele:
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