Введение в теорию вычислительных процессов и структур

В пособии в рамках теории вычислительных процессов и структур рассматриваются два направления теоретической информатики (теоретического программирования): теория схем программ и теория семантики и верификации программ. В первом разделе излагаются основы теории (стандартных) схем программ, математических моделей, отражающих взаимодействие информационных и логических структур программы. Даются основные понятия теории, описываются её главные проблемы и результаты, ставшие классическими Во введении в теорию семантики и верификации программ основное внимание уделяется формальному доказательству корректности программ, написанных на языках высокого уровня. Рис. 13. Библиогр.: 11 назв.

Вы можете купить электронную версию издания «Введение в теорию вычислительных процессов и структур». После оплаты (для архивов) оно будет доступно в Личном Кабинете в разделе «Электронные издания». В случае оформления подписки, издание будет доступно по мере поступления от издателя. Формат PDF/HTML. Стоимость — от 190.00 руб.