Zadejte kódy požadovaných předmětů:                    
Zápis do období FI:jaro 2021 (údaje platné k 15. 3. 2021 01:16)
KódCelkLimLFFaFFFPrFFSSPřFFIPdFFSpSESFCSTNázev předmětu
IA1592       2    Formal Verification Methods