Zadejte kódy požadovaných předmětů:                                
Zápis do období FI:podzim 2024 (údaje platné k 7. 10. 2024 01:50)
KódCelkLimLFFaFFFPrFFSSPřFFIPdFFSpSESFCSTNázev předmětu
IA15925       25    Formal Methods for Software Analysis