Зведений каталог бібліотек Харкова
Подловченко, Р. И. Проблема включения в алгебраической модели программ с константами [Текст] / Научно-исследовательский вычислительный центр МГУ // Программирование. — 2007. — С. 3-15.
- Анотація:
Статья относится к теории алгебраических моделей программ. Основы этой теории заложены в [1, 2]. В [1] делается определение алгебраической модели программ и описывается проблематика теории. В [2] выделяется класс модели, подлежащих изучению
- Є складовою частиною документа:
Программирование [Текст] // Программирование ; РАН - М. : Наука. — 2007.
- Теми документа
