Добро пожаловать!

Вход на сайт

» » » » Элементы анализа программ. Частичные функции на множестве состояний
Внимание! Новости из категории "Комиксы 18+" , "Журналы 18+" и "Фильмы 18+" на главной странице не публикуются.

Элементы анализа программ. Частичные функции на множестве состояний

Автор: natagu Дата: 13-02-2020, 12:39 Категория: Книги » Сетевые технологии » Программирование

Элементы анализа программ. Частичные функции на множестве состояний

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


Название: Элементы анализа программ. Частичные функции на множестве состояний
Автор: Абрамов С.А.
Издательство: М.: Наука
Год: 1986
Страниц: 130
ISBN: 519-20122017-64
Серия: Библиотечка программиста
Язык: Русский
Формат: djvu
Размер: 13,9 Мб
Качество: хорошее, текстовый слой, оглавление.

Скачать Элементы анализа программ



Просмотров: 160 Отзывы: 0 Подняться наверх Вернуться

Комментарии

Добавить комментарий

Информация

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