Доказательство правильности программ
Андерсон Р.
В книге американского специалиста изложены основные принципы доказательства правильности программ для ЭВМ. Принципы доказательства иллюстрируются многочисленными примерами программ, представленных блок-схемами или записанных на языках высокого уровня. Материал излагается в простой и доступной форме.Для пользователей ЭВМ, аспирантов и студентов, изучающих программирование.
Kategorie:
Rok:
1982
Wydawnictwo:
Мир
Język:
russian
Strony:
170
Plik:
DJVU, 3.44 MB
IPFS:
,
russian, 1982