http://dev.dai.fmph.uniba.sk/w?action=history&feed=atom&title=Formal_Methods_of_Software_Development%2Fen 2026-04-19T10:06:33Z História úprav pre túto stránku na wiki MediaWiki 1.26.2 http://dev.dai.fmph.uniba.sk/w?title=Formal_Methods_of_Software_Development/en&diff=2811&oldid=prev 2008-08-24T14:56:35Z

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

Petrovic