Umiestnenie:
ŠVP leto 2024/25
*
|
ŠVP
|
Výučba
|
CL Homepage
|
KAI
|
FMFI
UK
v
Bratislave
English version
Záznamy prednášok (slajdy) pre kurz 1-AIN-470 Špecifikácia a verifikácia programov LS 2024/25
Prednášky
1. prednáška
*
- začíname s CL, explicitné definície, rekurzívne definície.
*
– aktualizované v priebehu posledných 7 dní
Posledná zmena:
2025-02-20
T
12:43
+0100