Доказательство правильности программ
Андерсон Р.
В книге американского специалиста изложены основные принципы доказательства правильности программ для ЭВМ. Принципы доказательства иллюстрируются многочисленными примерами программ, представленных блок-схемами или записанных на языках высокого уровня. Материал излагается в простой и доступной форме.Для пользователей ЭВМ, аспирантов и студентов, изучающих программирование.
Κατηγορίες:
Έτος:
1982
Εκδότης:
Мир
Γλώσσα:
russian
Σελίδες:
170
Αρχείο:
DJVU, 3.44 MB
IPFS:
,
russian, 1982