Back to department main page
Dr. Ryzhikov Vladislav
Courses
Formal Methods - 72049
  • Master in Computer Science  
Non Classical Logics - 72070
  • Master in Computer Science  
Seminar in Human-Machine Interaction - 72021
  • Master in Computer Science  
Course timetable

Friday, 24.05.2013
TimeSubjectLecturerClassroom
08:30
10:30
Formal Methods LECTRyzhikov VladislavD002 Lecture room, Ser-D
14:00
15:00
Formal Methods Ex LABRyzhikov VladislavE412 Lecture room, Ser-E
© UniBz