Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Теория схем программ
Авторы: Котов В.Е., Сабельфельд В.К.
Аннотация:
Проведено систематизированное изложение раздела теоретического программирования, изучающего неинтерпретированные модели программ — их схемы, отражающие структурные особенности программ и в определенной мере абстрагирующиеся от их функциональной сущности. Излагается теория схем программ, являющаяся математической базой для развития методов трансляции программ и создания новых конструкций в языках программирования.
Для специалистов в области информатики и прикладной математики.