Formal Semantics and Theory of Correctness: Rozdiel medzi revíziami

Aktuálna revízia z 15:44, 24. august 2008

generic page

@@ Riadok 1: / Riadok 1: @@
-{{Course
+generic page
-  | 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
-}}