Temporallogik, für Softwareingenieure (Tempo)

Typ: Integrierte Veranstaltung
SWS: 4
Credit Points: k.A.
Homepage:

Kursbeschreibung / -kommentar

Dies ist die Nachfolgeveranstaltung der Kurse "Theorie Verteilter Systeme 2: Fehlertolerante Systeme" und "Temporale Logik"