Curriculum

Discipline Discipline
Technologies of automated design and verification of programs
Academic year Academic year
2020/2021
Course Course
1 Course (1 Semester)
Cycle Cycle
Educational disciplines for obtaining in-depth knowledge of the specialty
Speciality Speciality
121 Software engineering
Form of study Form of study
Extramural studies
Educational level Educational level
PhD
Credits Credits
120 hrs.
Reading department Reading department
Department of Automation and Control in Technical Systems

Lecture
Yaroslav Dorohyi
Laboratory
Yaroslav Dorohyi