• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Master 2018/2019

Formal Methods in Software Engineering

Type: Compulsory course (System and Software Engineering)
Area of studies: Software Engineering
When: 1 year, 1-4 module
Mode of studies: offline
Instructors: Leonid W. Dworzanski, Irina A. Lomazova
Master’s programme: Software and Systems Engineering
Language: English
ECTS credits: 10
Contact hours: 128