direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Algebraische Prozesskalküle
Parameter
Wert
Niveau
Master, Wahlpflicht in Computer Science (Informatik)
Vorkenntnisse
Automatentheorie, Logik, Diskrete Strukturen
LP
6
Bestandteile
4IV "Algebraic Process Calculi"
Semester
Jedes SoSe
Prüfungsform
Portfolioprüfung
Details
Modulbeschreibung in Moses MTS
Material
Formelsammlung
Lehrbuch von Robin Milner

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe