Katedra aplikovanej informatiky

Špecifikácia, implementácia a verifikácia programov operujúcich na haldách

(Zadanie bakalárskej práce, naspäť na zoznam bakalárskych prác)

Ján Komara

Požiadavky: Úvod do deklaratívneho programovania, Špecifikácia a verifikácia programov

Študent: Dávid Kováč