Kurz M-V Úvod do teórie programovania Po 9:00 12:00 I. Prívara Prednáška M-213 Formálne špecifikácie Ut 12:20 15:20 I. Prívara