direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Algebraische Prozesskalküle
Parameter
Wert
Niveau
Master, Wahlpflicht in 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