Андерсон Р., Доказательство правильности программ.
Пер. с англ.

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