Loading...
Error

Андерсон Р. - Доказательство правильности программ [1982, DjVu]

Ответить на тему

 | 

 
Автор Сообщение

kaiser09

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

Год выпуска: 1982
Автор: Андерсон Р.
Издательство: Мир
Формат: DjVu
Количество страниц: 168

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