Описание: В книге американского специалиста изложены основные принципы доказательства правильности программ для ЭВМ. Принципы доказательства иллюстрируются многочисленными примерами программ, представленных блок-схемами или записанных на языках высокого уровня. Материал излагается в простой и доступной форме. Для пользователей ЭВМ, аспирантов и студентов, изучающих программирование.
Название: Доказательство правильности программ
Год выпуска: 1982
Автор: Андерсон Р.
Издательство: Мир
Формат: djvu
Качество: хорошее
Количество страниц: 168
Размер: 3,13 МБ
Скачать: | |