Р.Андерсон Доказательство правильности программ
600 руб.
В книге изложены основные принципы доказательства правильности программ для ЭВМ. Принципы доказательства иллюстрируются многочисленными примерами программ, представленных блок-схемами или записанных на языках высокого уровня. Материал излагается в доступной форме.
Объвление найдено на сайте avito.ru. Перейдите по ссылке для покупки или просмотра более подробной информации