Foundations of Certified Programming Language and Compiler Design

Alias

INF-DSE-20-E-CPLCD

Leistungspunkte

6

Anfangssemester

Wintersemester

Verantwortlich

Castrillón-Mazo, Jerónimo Prof. Dr. <jeronimo.castrillon@tu-dresden.de>

Organisation

Professur für Compilerbau

Sprachen

Englisch

Status

Aktiv

Modulbeschreibung

Deutsch · English