Detail předmětu
Formální specifikace systémů informačních technologií
Garant předmětu
Jazyk výuky
česky
Zakončení
zkouška
Rozsah
Zajišťuje ústav
Ústav informačních systémů (UIFS)