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: {{Predmet | name = Formálne metódy tvorby softvéru | code = 2-AIN-185 | prerequisites = žiadne | semester = Letný | year = 1 | credits = 6 | form = P - prednáška (3), C - cvičenie (1) | evaluation = 40/60 | webpage = chýba | teacher = [[Damas Gruska|doc. RNDr. Damas Gruska, PhD.]] | email = gruska[[Image:zavinac.gif|@]]ii.fmph.uniba.sk | homepage = http://ii.fmph.uniba.sk/~gruska/ | description = Oboznámiť študentov s problematikou fromálnymi metódami tvorby softvéru. | offered_in = Voliteľný v [[Master program in Applied Informatics|Magisterskom programe Aplikovaná informatika]] | recommendations = žiadne }} Späť na Formal Methods of Software Development. ← Formal Methods of Software Development