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

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

Название: Доказательство правильности программ
Год выпуска: 1982
Автор: Андерсон Р.
Издательство: Мир
Формат: djvu
Качество: хорошее
Количество страниц: 168
Размер: 3,13 МБ

Скачать:

Внимание! У Вас нет прав для просмотра скрытого текста.

Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
Мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.

Процедура регистрации бесплатна и займет у вас всего пару минут!
После регистрации вам станет доступна информация скрытя фразой: "Внимание! У вас нет прав для просмотра скрытого текста."

Похожие новости:

Win32 API. Эффективная разработка приложений
Описание: В этой книге изложены основополагающие принципы программирования для Windows на языке C/C++ с применением Win32 API. Книга ориентирована на широкий круг читателей: от начинающих программистов, студентов вузов, аспирантов и преподавателей до профессионалов в области программирования, желающих освоить специальные средства Win32 API.

Вин Чунь. Техника первого уровня
Описание: Предлагаемая вниманию читателя книга является первой в серии книг, раскрывающих секреты одного из наиболее известных и эффективных стилей китайского Ушу Вин Чунь. В работе подробно изложены основополагающие принципы школы Вин Чунь, базовая техника, теория рукопашного поединка, изучаемые на начальном этапе обучения. Книга содержит большое

Введение в электронику
Описание: Книга известного американского специалиста в простой и доступной форме знакомит с основами современной электроники. Основная ее цель - теоретически подготовить будущих специалистов - электриков и электронщиков - к практической работе, поэтому кроме детального изложения принципов работы измерительных и полупроводниковых приборов,

Хакинг и антихакинг: защита и нападение
Описание: Впервые! Защита и нападение в практических шагах. В книге рассмотрены более 100 инструментальных программ для создания защиты и проверки ее надежности.

Учись аккомпанировать на гитаре
Описание: В книге вы найдете необходимые сведения об аккордах и их последовательностях, о стандартной аппликатуре и типовых ритмических моделях различных жанров и стилей. Основные теоретические положения иллюстрируются многочисленными нотными примерами.