Formal Methods of Software Development: Rozdiel medzi revíziami
| Riadok 12: | Riadok 12: | ||
| email = gruska[[Image:zavinac.gif|@]]ii.fmph.uniba.sk | | email = gruska[[Image:zavinac.gif|@]]ii.fmph.uniba.sk | ||
| homepage = http://ii.fmph.uniba.sk/~gruska/ | | homepage = http://ii.fmph.uniba.sk/~gruska/ | ||
| − | | description = | + | | 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]] | | offered_in = Voliteľný v [[Master program in Applied Informatics|Magisterskom programe Aplikovaná informatika]] | ||
| recommendations = žiadne | | recommendations = žiadne | ||
}} | }} | ||
Verzia zo dňa a času 21:32, 20. august 2008
Formálne metódy tvorby softvéru 2-AIN-185
choď na zoznam všetkých predmetov...
| Názov a kód predmetu: | Formálne metódy tvorby softvéru (2-AIN-185) |
| Prerekvizity: | žiadne |
| Vyučuje sa/odporúčaný ročník: | Letný semester / 1 |
| Forma a # hodín/týždeň: | P - prednáška (3), C - cvičenie (1) |
| Kredity: | 6 |
| Hodnotenie (semester/skúška): | 40/60 |
| Webstránka predmetu: | chýba |
| Informačný list: | Informačný list 2-AIN-185 (fakultná služba) |
| Vyučujúci: | doc. RNDr. Damas Gruska, PhD. |
| E-mail: | gruska ii.fmph.uniba.sk
|
| Domovská stránka: | http://ii.fmph.uniba.sk/~gruska/ |
Popis predmetu:
Oboznámiť študentov s problematikou fromálnymi metódami tvorby softvéru.
Je časťou študijného programu: Voliteľný v Magisterskom programe Aplikovaná informatika
Odporúčania: žiadne