519.681. Теория программирования.

519.681.2Абстрактное описание понятий программирования.
519.681.3Эквивалентные преобразования программ.
См. также 519.717.3.

[ Начало ]