Доказательство правильности программ
Андерсон Р.
В книге американского специалиста изложены основные принципы доказательства правильности программ для ЭВМ. Принципы доказательства иллюстрируются многочисленными примерами программ, представленных блок-схемами или записанных на языках высокого уровня. Материал излагается в простой и доступной форме.Для пользователей ЭВМ, аспирантов и студентов, изучающих программирование.
Catégories:
Année:
1982
Editeur::
Мир
Langue:
russian
Pages:
170
Fichier:
DJVU, 3.44 MB
IPFS:
,
russian, 1982