RNDr. Igor Prívara CSc.
E-mail: | privara@dcs.fmph.uniba.sk |
Oddelenie: | Oddelenie programových systémov |
Predmety: | prednáša 2-INF-187 Úvod do teórie programovania prednáša 2-INF-127 Formálne špecifikácie prednáša 1-INF-645 Teória programovania prednáša 2-INF-123 Formálna sémantika a teória správnosti |
Konzultačné hodiny: | |
Rozvrh v Candle | |
Publikácie na uniba.sk |