|
|
| Riadok 1: |
Riadok 1: |
| − | {{Predmet
| + | generic page |
| − | | 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
| + | |
| − | }}
| + | |
