Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
UDC 004.4'24
2
code analysis
2
programming languages
2
term rewriting
2
termware
2
type systems
2
УДК 004.4'24
2
автоматизація розробки програмного забезпечення
2
алгебра типів
2
аналіз коду
2
мови програмування
2
переписування термів
2
системи типів
2
системы типов
2
языки программирования
2
TermWare
1
automated software design
1
software development automation
1
автоматизация разработки программного обеспечения
1
автоматизированное проектирование программ
1
анализ кода
1
переписывание термов
1
переписывания термов
1
-
1
-
2