Название: доказательство правильности программ (Е.Л. Веретельникова )

Жанр: Информатика

Просмотров: 821


Содержание

Читать: Аннотация
Читать: Глава 1
Читать: 1.2. обобщенная индукция
Читать: Глава 2
Читать: Глава 3
Читать: Глава 4
Читать: 4.1. упрощенный язык программирования       для  иллюстрации  понятия   рекурсии
Читать: 4.2. структурная индукция
Читать: 4.3. структурная индукция для нерекурсивных программ
Читать: Глава 5
Читать: 5.1. методы доказательства
Читать: 5.2. конструирование программ и языков
Читать: 5.3. механизация процесса доказательства правильности
Читать: Литература