RNDr. Tomáš Jakl, Ph.D.

Výuka

Předměty navazujícího magisterského studia

Kód Název předmětu
NI-FMT Konečná teorie modelů
NIE-SEM Semantics of Programming Languages
NI-SEM Semantika programovacích jazyků