А 65 |
Андерсон, Р. Доказательство правильности программ [Текст] : Пер. с английского / Р. Андерсон. – М. : Мир, 1982. – 168с. – 20000.
Изложены основные принципы доказательства правильности программ для ЭВМ. Принципы доказательства правильности иллюстрируются многочисленными примерами программ, представленных блок-схемами или записанных на языках высокого уровня. Для пользователей ЭВМ, аспирантов и студентов, изучающих программирование. |