RUSSIAN

Доказательство правильности программ

By Андерсон Р.

Book information

Publisher
Мир
Year
1982
Language
russian
Format
DJVU
Filesize
3 MB (3611489 bytes)
Pages
170\170
Topic
Physics
Library
Homelab
DPI
300
Time added
2014-10-05 02:30:00

Description

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

Similar books