Formális módszerek (VIMM3245) elkülönített záróvizsga
A Formális módszerek (VIMM3245) elkülönített záróvizsga május 23-án hétfőn 14 órakor kezdődik. A záróvizsgázókkal hétfőn 14 órakor találkozunk az I épület B szárny 4. emeletén a körtárgyaló előtt.
A vizsga szóbeli lesz. A vizsga menetével, tematikájával és a felkészüléssel kapcsolatban a korábban közzétett információk most is érvényesek.