Discipline

Modern technologies of automated design and verification of programs

Academic year

2019/2020

Course

2 Course (1 Semester)

Cycle

Educational disciplines for obtaining in-depth knowledge of the specialty

Speciality

121 Software engineering

Form of study

Full-time

Educational level

PhD

Credits

120 hrs.

Reading department

Department of Automation and Control in Technical Systems

Syllabus

View

Lecture

Yaroslav Dorohyi

Laboratory

Yaroslav Dorohyi