| Název předmětu | Formální metody pro verifikaci systémů |
|---|---|
| Kód předmětu | KMI/PGSVR |
| Organizační forma výuky | Konzultace |
| Úroveň předmětu | Doktorský |
| Rok studia | nespecifikován |
| Semestr | Zimní a letní |
| Počet ECTS kreditů | 12 |
| Vyučovací jazyk | Čeština, Angličtina |
| Statut předmětu | nespecifikováno |
| Způsob výuky | Kontaktní |
| Studijní praxe | Nejedná se o pracovní stáž |
| Doporučené volitelné součásti programu | Není |
| Vyučující |
|---|
|
| Obsah předmětu |
|
nespecifikováno
|
| Studijní aktivity a metody výuky |
| nespecifikováno |
| Výstupy z učení |
| Předpoklady |
|
nespecifikováno
|
| Hodnoticí metody a kritéria |
|
nespecifikováno
|
| Doporučená literatura |
|
|
| Studijní plány, ve kterých se předmět nachází |
| Fakulta | Studijní plán (Verze) | Kategorie studijního oboru/specializace | Doporučený semestr |
|---|