Nemáte oprávnenie upravovať túto stránku z nasledovných dôvodov:

• Činnosť, ktorú požadujete, môže vykonať iba člen skupiny: Používatelia.
• Činnosť, ktorú požadujete, môže vykonať iba člen skupiny: Používatelia.

---

Môžete si zobraziť a kopírovať zdroj tejto stránky:

= Jazyky modely a nástroje na modelovanie, špecifikáciu a verifikáciu a ich aplikácie = <small>(Zadanie bakalárskej práce, [[Topics for Bachelor Theses|naspäť na zoznam bakalárskych prác]])</small> [[Damas Gruska]] Téma je veľmi široká a je v nej priestor na oba druhy záverečných prác. Študent si môže vybrať či urobí len prehľad viacerých jazykov, modelov či nástrojov, alebo v niektorom z nich niečo našpecifikuje a overí alebo sám niečo naprogramuje alebo doprogramuje. Požiadavky: angličtina, v prípade biologicky motivovaných modelov je vítaný záujem o biológiu.

Späť na BakTema Jazyky modely a nastroje/sk.

← BakTema Jazyky modely a nastroje/sk