Hlavné menu

Specification and Verification of Programs: Rozdiel medzi revíziami

(New page: {{Course | name = Specification and Verification of Programs | code = 1-AIN-470 | prerequisites = none | semester = Summer | year = 2 | credits = 6 | form = C - exercise (4) ...)
 
d (Replacing page with 'generic page')
 
(3 medziľahlé úpravy od 2 ďalších používateľov nie sú zobrazené)
Riadok 1: Riadok 1:
−
{{Course
+
generic page
−
  | name = Specification and Verification of Programs
+
−
  | code = 1-AIN-470
+
−
  | prerequisites = none
+
−
  | semester = Summer
+
−
  | year = 2
+
−
  | credits = 6
+
−
  | form = C - exercise (4)
+
−
  | evaluation = 60/40
+
−
  | webpage = http://ii.fmph.uniba.sk/~komara/
+
−
  | teacher = [[Jan Komara|Ing. Ján Komara]]
+
−
  | email = komara@fmph.uniba.sk
+
−
  | homepage = http://ii.fmph.uniba.sk/~komara/
+
−
  | description = Formal system of first-order arithmetics (Peano arithmetics) used for specification, implementation and verification of programs. Problems solved in exercises using specification-verification system CL.
+
−
  | offered_in = Obligatory-optional in [[Bachelor program in Applied Informatics]]
+
−
  | recommendations = none
+
−
}}
+

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

generic page

Zdroj: „http://dev.dai.fmph.uniba.sk/w?title=Specification_and_Verification_of_Programs&oldid=2720“