УДК 519.681
Теория программирования
код УДК
описание
примечания
519.681.2
Абстрактное описание понятий программирования
см. 004.42.001.11
519.681.3
Эквивалентные преобразования программ
см. 004.42.001.362