Formális módszerek házi feladatok kiadása

A Formális módszerek tárgyból elkészítendő kötelező házi feladat megtalálható a tárgy házi feladatok oldalán.

A házi feladathoz konzultációt a 10. oktatási héten biztosítunk. A 2013. március 14-i előadáson egy részletes modellezési mintapélda bemutatására kerül sor, ami sok segítséget ad a házi feladat megoldásához.

A házi feladat beadási határideje 2013. április 27. Minden további információ megtalálható a tárgy házi feladatok oldalán.