Доказательство правильности программ

В книге американского специалиста изложены основные принципы доказательства правильности программ для ЭВМ. Принципы доказательства иллюстрируются многочисленными примерами программ, представленных блок-схемами или записанных на языках высокого уровня. Материал излагается в простой и доступной форме. Для пользователей ЭВМ, аспирантов и студентов, изучающих программирование.

Автор: Андерсон Р.
Издательство: Мир
Год выпуска: 1982
Количество страниц: 168
Формат: djvu

 

Скачать книгу "Доказательство правильности программ" (3,13 МБ):