Евгения Веретельникова — Теоретическая информатика. Доказательство правильности
В работе изложен теоретический материал и рассмотрены многочисленные примеры для освоения основных принципов и приемов доказательства правильности программ, представленных блок-схемами [...]