Program | Obavezan |
---|---|
Informacijski sustavi IS | Ne |
Poslovni sustavi PS | Ne |
Introduction to Formal Methods
Katedra za teorijske i primijenjene osnove informacijskih znanosti
RI
Nastavnik | Oblik nastave | Tjedana | Sati tjedno | Grupa |
---|---|---|---|---|
Čubrilo Mirko | Predavanje | 15 | 2 | 2 |
Lovrenčić Sandra | Laboratorijske vježbe | 15 | 1 | 9 |
Seminar | 15 | 1 | 4 |