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

Terminy skusky

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)

(Ukazkove riesenie)

(2. DU)

(Ukazkove riesenie)

(3. DU)

(Ukazkove riesenie)

(4. DU)

(5. DU)