Š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áč

Revízia z 18:30, 16. jún 2010; Komara (Diskusia | príspevky)

(rozdiel) ← Staršia verzia | Aktuálna úprava (rozdiel) | Novšia verzia → (rozdiel)