Domace ulohy je potrebne odovzdat
do 12.00 hod. miestneho casu dna, kedy je prednaska v rozvrhu (pondelok 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)
(6. prednaska)
(5. DU)
Programovanie paralelnych a distribuovanych systemov
(prednasky, text)
(1. DU)
(2. DU)
(3. DU)
(4. DU)
(5. DU)