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

(New page: {{Course | name = Formal Semantics and Theory of Correctness | code = 1-AIN-630 | prerequisites = none | semester = Winter | year = 3 | credits = 6 | form = L - laboratory ex...)
 
d (Replacing page with 'generic page')
 
(Jedna medziľahlá úprava od jedného ďalšieho používateľa nie je zobrazená)
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 - laboratory exercise (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
+
−
}}
+

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

generic page