Русаков, Д. М. Алгоритм проверки включения схем в алгебраической модели программ с константами [Текст] / Д. М. Русаков> // Программирование. - 2007. - N 6. - С. 3-13. - Библиогр.: с. 13 (7 назв. )
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): модели программ -- Математическое обеспечение (Программирование -- алгебраические модели программ -- системное программирование Аннотация: Описывается алгоритм, проверяющий отношение включения в алгебраической модели программ с константами, и доказывается его реальность. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |