Hlavné menu

Formal Methods of Software Development: Rozdiel medzi revíziami

(New page: {{Course | name = Formal Methods of Software Development | code = 2-AIN-185 | prerequisites = none | semester = Summer | year = 1 | credits = 6 | form = L - laboratory exerci...)
 
d (Replacing page with 'generic page')
 
(5 medziľahlých úprav od jedného ďalšieho používateľa nie je zobrazených)
Riadok 1: Riadok 1:
−
{{Course
+
generic page
−
  | name = Formal Methods of Software Development
+
−
  | code = 2-AIN-185
+
−
  | prerequisites = none
+
−
  | semester = Summer
+
−
  | year = 1
+
−
  | credits = 6
+
−
  | form = L - laboratory exercise (3), P - lecture (1)
+
−
  | evaluation = 40/60
+
−
  | webpage = not available
+
−
  | teacher = [[Damas Gruska|doc. RNDr. Damas Gruska, PhD.]]
+
−
  | email = gruska[[Image:zavinac.gif|@]]ii.fmph.uniba.sk
+
−
  | homepage = http://ii.fmph.uniba.sk/~gruska/
+
−
  | description =  Students will learn some basic models exploited in formal specifications of systems (Process Algebras, Petri nets, Timed Automata ..), their syntax and semantics which are suitable for different applications in formal specifications. Also some modal and temporal logics which are exploited in systems specifications will be tought together with some basics on model checking.
+
−
  | offered_in = Elective in [[Master program in Applied Informatics]]
+
−
  | recommendations = none
+
−
}}
+

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

generic page

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