алгоритми, алгоритмы, algorithms, Algorithmen, algorithmes ; верифікація програм, верификация программ ; комп'ютерні програми, компьютерные программы ; модальна логіка, модальная логика ; оптимізація, оптимизация, optimization ; програмні продукти, программные продукты, software ; структури даних, структуры данных, data structures

МОН України

• УДК // Програмування комп’ютерів. Комп’ютерні програми