Пароль        Регистрация    Напомнить пароль?

новости партнеров

Доказательство правильности программ - купить в электронном или бумажном виде

Доказательство правильности программ
Название: Доказательство правильности программ
Автор: Андерсон Р.
Издательство: Мир
Год издания: 1982
Страниц: 168
Формат: DJVU
Размер: 3,12 МБ
Качество: Хорошее, 600 дпи, цветные обложки
В книге американского специалиста изложены основные принципы доказательства правильности программ для ЭВМ. Принципы доказательства иллюстрируются многочисленными примерами программ, представленных блок-схемами или записанных на языках высокого уровня. Материал излагается в простой и доступной форме. Для пользователей ЭВМ, аспирантов и студентов, изучающих программирование.
[hide]Купить/скачать с depositfiles


8-11-2009, 19:54 | Просмотров: 621 | Комментариев: 0 | Опубликовал: Admin          Катерогия:Программирование
  • 0
 (голосов: 0)

Похожие книги:

    Программирование на языках высокого уровня Программирование на языках высокого уровня
    Программирование на языках высокого уровня - Рассмотрены основные принципы программирования на языках высокого уровня: основные управляющие структуры программирования; стандартные типы данных; структуры данных; процедуры и функции; модульные программ ... Читать

    Введение в языки программирования Введение в языки программирования
    Название: Введение в языки программированияАвтор: Д. БарронИздательство: Мир Год издания: 1980Страниц: 192Формат: DJVUРазмер: 2,1 МБКачество: Отличное, 600 дпи, цветные обложкиЦель книги Д. Баррона, хорошо знакомого читателям по двум его книгам из се ... Читать

    Методы проектирования программных систем Методы проектирования программных систем
    Методы проектирования программных систем - В книге американского специалиста по обработке данных анализируется процесс проектирования и рассматриваются методы проектирования программных систем. Большое внимание уделено этапу тестирования и оптимизаци ... Читать

    Искусственный интеллект Искусственный интеллект
    Название: Искусственный интеллектАвтор: Дж. СлэйглИздательство: МИРГод издания: 1973 Страниц: 320Формат: DJVUРазмер: 4,6 МБКачество: Хорошее, 600дпи, цветные обложкиВ книге, написанной в форме учебника по проблеме «Искусственный интеллект», системати ... Читать

    Практическое руководство по методам вычислений с  приложением программ для  ... Практическое руководство по методам вычислений с приложением программ для ...
    Название: Практическое руководство по методам вычислений с приложением программ для персональных компьютеровАвтор: Ракитин В.И., Первушин В.Б.Издательство: Высшая школа Год издания: 1998Страниц: 383ISBN: 5-06-003342-2Формат: DJVU+OCRРазмер: 9,2 МБ ... Читать

Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии в данной новости.

Интересно

Ваши счетчики