Belépés címtáras azonosítással
|
vissza a tantárgylistához
nyomtatható verzió
Formális módszerek
A tantárgy angol neve: Formal Methods
Adatlap utolsó módosítása: 2023. január 4.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Villamosmérnöki és Informatikai Kar
|
Mérnökinformatikus mesterképzés (MSc)
|
Tantárgykód |
Szemeszter |
Követelmények |
Kredit |
Tantárgyfélév |
VIMIMA26 |
|
3/0/0/f |
5 |
|
|