Software systems validation and verification (122 – cs)
Type: For the student's choice
Department: information systems
Curriculum
| Semester | Credits | Reporting |
| 10 | 3 | Setoff |
Lectures
| Semester | Amount of hours | Lecturer | Group(s) |
| 10 | 16 | Professor H. A. Shynkarenko | PMi-51m, PMi-52m, PMi-53m |
Laboratory works
| Semester | Amount of hours | Group | Teacher(s) |
| 10 | 16 | PMi-51m | Professor H. A. Shynkarenko |
| PMi-52m | Professor H. A. Shynkarenko | ||
| PMi-53m | Professor H. A. Shynkarenko |