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