Доказательство правильности программ
Андерсон Р.
В книге американского специалиста изложены основные принципы доказательства правильности программ для ЭВМ. Принципы доказательства иллюстрируются многочисленными примерами программ, представленных блок-схемами или записанных на языках высокого уровня. Материал излагается в простой и доступной форме.Для пользователей ЭВМ, аспирантов и студентов, изучающих программирование.
వర్గాలు:
సంవత్సరం:
1982
ప్రచురణకర్త:
Мир
భాష:
russian
పేజీల సంఖ్య:
170
ఫైల్:
DJVU, 3.44 MB
IPFS:
,
russian, 1982
Litres
మీ పుస్తక దుకాణాన్ని జోడించాలనుకుంటున్నారా? support@z-lib.fm వద్ద మమ్మల్ని సంప్రదించండి
ఫైల్ converter
మరిన్ని శోధన ఫలితాలు
మరిన్ని ప్రయోజనాలు 
