К 73 |
Котов, В. Е. Теория схем программ [Текст] / В. Е. Котов, В. К. Сабельфельд. – М. : Наука. Гл.ред.физ.-мат.лит., 1991. – 248с : ил. – Библиогр.: с.239-245. – 7250.
Проведено систематизированное изложение раздела теоретического программирования, изучающего неинтерпретированные модели программ- их схемы. Излагается теория схем программ, являющаяся математической базой для развития методов трансляции программ и создания новых конструкций в языках программирования. Для специалистов в области информатики и прикладной математики. |