Difference between revisions of "Formal Semantics and Theory of Correctness"

Latest revision as of 15:44, 24 August 2008

generic page

@@ Line 1: / Line 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
-}}