Zobrazenie zdroja stránky Specification and Verification of Programs/en

{{Course
  | name = Specification and Verification of Programs
  | code = 1-AIN-470
  | prerequisites = 1-AIN-505 (recommended) or 1-INF-465 
  | semester = Summer
  | year = 2
  | credits = 6
  | form = L - lecture (2), P - practicals (2) 
  | evaluation = 60/40
  | webpage = http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-470-svp/?lang=en
  | teacher = [[Jan Komara|Ing. Ján Komara]]
  | email = komara[[Image:zavinac.gif|@]]fmph.uniba.sk
  | homepage = http://ii.fmph.uniba.sk/~komara/
  | description = The formal system of the first-order arithmetic (Peano arithmetic) is used for the specification, implementation and verification of programs. The course has computer labs in the specification-verification system CL.
  | offered_in = Obligatory-optional in [[Bachelor program in Applied Informatics]]
  | recommendations = none
}}