Az ELTE IK Programtervező Informatikus MSc képzésén található Modellek és Formális Eszközök nevű tantárgy jegyzetei.
Kidolgozott tételsor
A 15 szóbeli tétel (ahogy látom, többnyire kopipészt alapú) kidolgozása a vizsgára, a tételsorral együtt.
Előadás diasorok
ELTÁVOLÍTVA
Mivel az előadó nem járult hozzá az órai prezentációk (külső oldalon való) közzétételéhez, így a jegyzeteket eltávolítottam a weblapról, de ezt a linket követve azok továbbra is elérhetőek.
3