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