Domace ulohy je potrebne odovzdat
do 12.00 hod. miestneho casu dna, kedy je prednaska v rozvrhu (streda a stvrtok)
VYLUCNE na adresu damas.gruska at gmail.com
Formalne metody tvorby softveru
(1. prednaska)
(1. DU)
(2. prednaska)
(2. DU)
(3. prednaska)
(4. prednaska)
(3. DU)
(5. prednaska)
(4. DU) \
P>
(6. prednaska)
(5. DU)
Programovanie paralelnych a distribuovanych systemov
(prednasky, text)
(1. DU)
(Ukazkove riesenie)
(2. DU)
(Ukazkove riesenie)
(3. DU)
(Ukazkove riesenie)
(4. DU)
(5. DU)