Řazení po semestrech Klasické řazení Prezentace
FI FMSA Formal Methods for Software Analysis
Název anglicky: Formal Methods for Software Analysis
v akred. studijním programu, prezenční, vyučovací jazyk: čeština čeština
Zahrnut v programu: FI C-TEV Tematické vzdělávání
Kód Název Garant Ukončení Rozsah Kreditů Povinnost
FI:IA085Satisfiability and Automated Reasoning M. Jonášzk 2/1/14+2 P
FI:IA159Formal Methods for Software Analysis J. Strejčekzk 2/0/02+2 P
FI:IA169Model Checking J. Strejčekzk 2/1/03+2 P
15 kreditů