Zobrazenie zdroja stránky Formal Semantics and Theory of Correctness

{{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
}}