УДК |
Аннотация: Проведено систематизированное изложение раздела теоретического программирования, изучающего неинтерпретированные модели программ - их схемы, отражающие структурные особенности программ и в определенной мере абстрагирующиеся от их функциональной сущности. Излагается теория схем программ, являющаяся математической базой для развития методов трансляции программ и создания новых конструкций в языках программирования. Для специалистов в области информатики и прикладной математики.
Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Доп.точки доступа:
Сабельфельд, В.К.
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)