„Formális módszerek” változatai közötti eltérés

Nincs szerkesztési összefoglaló
Nincs szerkesztési összefoglaló
11. sor: 11. sor:
| jelenlét = nincs
| jelenlét = nincs
| minmunka = 2ZH + 1HF
| minmunka = 2ZH + 1HF
| kiszh = 0
| nagyzh = 2
| nagyzh = 2
| hf = 1 + szorgalmi
| hf = 1 + szorgalmi
A lap eredeti címe: „https://vik.wiki/Formális_módszerek