Technologies of automated design and verification of programs

Curriculum:

Speciality Form of study Course Credits Syllabus
Full-time 1 Course (1 Semester) 120 hrs. -
Full-time 2 Course (1 Semester) 120 hrs. -
Extramural studies 1 Course (1 Semester) 120 hrs. -
Extramural studies 2 Course (1 Semester) 120 hrs. -