Formális módszerek szorgalmi feladatok megoldása

Formális módszerek tárgyból a szorgalmi feladatra jelentkezett hallgatók a feladatokat megtalálhatják a tárgy szorgalmi feladatra vonatkozó oldalán. Beadási határidő: 2012. április 27. péntek éjfél.