Po 12:20 - 13:50 (2 v.hod.) B Kurz Formálne metódy tvorby softvéru D. Gruska
Po 12:20 - 13:50 (2 v.hod.) B Výber/Vol Modely konkurentných systémov D. Gruska
Po 16:30 - 18:00 (2 v.hod.) A Kurz Formálne metódy tvorby softvéru D. Gruska
Po 16:30 - 18:00 (2 v.hod.) A Výber/Vol Modely konkurentných systémov D. Gruska
Št 13:10 - 16:10 (4 v.hod.) B Prednáška Programovanie paralelných a distribuovaných systémov D. Gruska
Št 13:10 - 16:10 (4 v.hod.) B Výber/Vol Úvod do paralelného programovania D. Gruska