Zadejte kódy požadovaných předmětů:                            
Zápis do období FI:jaro 2024 (údaje platné k 24. 2. 2024 01:02)
KódCelkLimLFFaFFFPrFFSSPřFFIPdFFSpSESFCSTNázev předmětu
IA16926130      26    Model Checking