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: {{Course | name = Formal Semantics and Theory of Correctness | code = 1-AIN-630 | prerequisites = none | semester = Winter | year = 3 | credits = 6 | form = L - lecture (3) | evaluation = 50/50 | webpage = not available | teacher = not available | email = not available | homepage = not available | description = not available | offered_in = Elective in [[Bachelor program in Applied Informatics]] | recommendations = none }} Späť na Formal Semantics and Theory of Correctness. ← Formal Semantics and Theory of Correctness