Formálna sémantika a teória správnosti 1-AIN-630
Formálna sémantika a teória správnosti 1-AIN-630
choď na zoznam všetkých predmetov...
| Názov a kód predmetu: | Formálna sémantika a teória správnosti (1-AIN-630) |
| Prerekvizity: | žiadne |
| Vyučuje sa/odporúčaný ročník: | Zimný semester / 3 |
| Forma a # hodín/týždeň: | P - prednáška (3) |
| Kredity: | 6 |
| Hodnotenie (semester/skúška): | 50/50 |
| Webstránka predmetu: | chýba |
| Informačný list: | Informačný list 1-AIN-630 (fakultná služba) |
| Vyučujúci: | chýba |
| E-mail: | chýba |
| Domovská stránka: | chýba |
Popis predmetu:
chýba
Je časťou študijného programu: Voliteľný v Bakálarskom programe Aplikovaná informatika
Odporúčania: žiadne
(Presmerované z Formal Semantics and Theory of Correctness)