Картинки из квадратов \ Теоретико-множественная математика \ Theoretical Computer Science \ Введение в разработку и анализ алгоритмов (С. Гудман, С. Хидетниеми) \ Полное построение алгоритма \ Основные этапы полного построения алгоритма \

9.7.11.1.3.4. Правильность алгоритма

Начало см. здесь и здесь.
Гудман С., Хидетниеми С.
Введение в разработку и анализ алгоритмов.
Пер. с англ., М.: Мир, 1981, c. 20.
Продолжение см. здесь.