Меню сайта

Файлы

Главная » Файлы » Информатика и вычислительная техника » Информатика, программирование

На этой странице можно скачать этот файл совершенно бесплатно и без регистрации и без отправки смс, а также без различного рода ограничений. Скачивайте и учитесь, надеемся, наш сайт помог вам "погрызть гранит науки"

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


В книге американского специалиста изложены основные принципы доказательства правильности программ для ЭВМ. Принципы доказательства иллюстрируются многочисленными примерами программ, представленных блок-схемами или записанных на языках высокого уровня. Материал излагается в простой и доступной форме. Для пользователей ЭВМ, аспирантов и студентов, изучающих программирование. Размер: \| Формат: DJVU, DJV Скачать: Перейти на страницу скачивания файла >>
Категория: Информатика, программирование
Просмотров: 310

Статистика

Онлайн всего: 1

Гостей: 1

Пользователей: 0

Поиск

Форма входа

bookin.ucoz.ru

Файлы

Скачать: Перейти на страницу скачивания файла >>