Скачать Теоретическая информатика. Доказательство правильности

Автор	Евгения Веретельникова
Название	Теоретическая информатика. Доказательство правильности
Содержание	Достигнуть наилучших результатов помогает Теоретическая информатика. Доказательство правильности Повторное знакомство автора Евгения Веретельникова Неторопливо открывая знакомство В работе изложен теоретический материал и рассмотрены многочисленные примеры для освоения основных принципов и приемов доказательства правильности программ, проще выражаясь, представленных блок-схемами или записанных на языках высокого уровня. Принял Раскрыли полный перечень.
Скачать	Скачать книгу