• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Master 2013/2014

Formal Methods in Software Engineering

Type: Compulsory course
Area of studies: Software Engineering
Delivered at: Software Management Department
Faculty: School of Software Engineering
When: 1 year, 1-4 module
Instructors: Leonid W. Dworzanski (conducts seminars and checks works), Irina A. Lomazova (author, delivers lectures and administers exams)
Specialization: Software Development Management
Master’s programme: Software and Systems Engineering
Language: English
ECTS credits: 10