(Created page with '== Špecifikácia, implementácia a verifikácia programov operujúcich na haldách ==') |
|||
| Riadok 1: | Riadok 1: | ||
== Špecifikácia, implementácia a verifikácia programov operujúcich na haldách == | == Špecifikácia, implementácia a verifikácia programov operujúcich na haldách == | ||
| + | |||
| + | <small>(Zadanie bakalárskej práce, [[Topics for Bachelor Theses|naspäť na zoznam bakalárskych prác]])</small> | ||
| + | |||
| + | [[Jan Komara|Ján Komara]] | ||
| + | |||
| + | '''Požiadavky:''' [[Introduction to Declarative Programming|Úvod do deklaratívneho programovania]], [[Specification and Verification of Programs|Špecifikácia a verifikácia programov]] | ||
| + | |||
| + | '''Študent:''' Dávid Kováč | ||
Aktuálna revízia z 19:30, 16. jún 2010
Š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)
Požiadavky: Úvod do deklaratívneho programovania, Špecifikácia a verifikácia programov
Študent: Dávid Kováč