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: 2017. június 22.
Budapesti Műszaki és Gazdaságtudományi Egyetem
Villamosmérnöki és Informatikai Kar
|
Mérnöktanár levelező képzés (MA) Informatika szakirány
|
Tantárgykód |
Szemeszter |
Követelmények |
Kredit |
Tantárgyfélév |
VIMIMA19 |
|
3/0/0/f |
3 |
|
|