• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

FacultiesCoursesSoftware EngineeringSoftware and Systems EngineeringSoftware Engineering Method and Theory

Formal Methods in Software Engineering

Academic year: 2012/2013
Type: Compulsory course
Instructors: Dworzanski, Leonid W. (conducts seminars), Lomazova, Irina A. (delivers lectures)
Delivered at: Software Management Department (School of Software Engineering)
Language: English
Level: Master
Area of studies: Software Engineering
Master’s programme: Software and Systems Engineering
Specialization: Software Engineering Method and Theory
When: 1 year, 1-4 module
Credits: 10