programming languages мови програмування 3 языки программирования 3 UDC 004.4'24 2 code analysis 2 term rewriting 2 termware 2 type systems 2 УДК 004.4'24 2 автоматизація розробки програмного забезпечення 2 алгебра типів 2 аналіз коду 2 переписування термів 2 системи типів 2 системы типов 2 TermWare 1 UDC 502:004.45 (075.8) 1 automated software design 1 basics of programming 1 learning 1 software development automation 1 software engineering 1 УДК 502:004.45 (075.8) 1 автоматизация разработки программного обеспечения 1 автоматизированное проектирование программ 1 анализ кода 1 дидактика 1 инженерия программного обеспечения 1 навчання 1 обучение 1