Zadejte kódy požadovaných předmětů:                        
Zápis do období FI:jaro 2019 (údaje platné k 3. 3. 2019 00:56)
KódCelkLimLFFaFFFPrFFSSPřFFIPdFFSpSESFCSTNázev předmětu
IA1598       7   1Formal Verification Methods