Проведено систематизированное изложение раздела теоретического программирования, изучающего неинтерпретированные модели программ - их схемы, отражающие структурные особенности программ и в определенной мере абстрагирующиеся от их функциональной сущности. Излагается теория схем программ, являющаяся математической базой для развития методов трансляции программ и создания новых конструкций в языках программирования.Для специалистов в области информатики и прикладной математики.

Скачать книгу бесплатно (djvu, 3.29 Mb)

---

Читать «Теория схем программ»