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

Вход на сайт

» » » » Элементы анализа программ. Частичные функции на множестве состояний
Добро пожаловать на сайт Е-book книги. На сайте вы можете найти "Книги" и "Журналы" в электронном виде. На сайте есть как "Художественные" так и "Документальные" электронные книги в популярных форматах:fb2, txt, rtf, pdf, djvu.

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

Автор: natagu Дата: 13-02-2020, 12:42 Категория: Книги » В помощь компьютерщику » Книги о программировании

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

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


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

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

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

Комментарии

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

Информация

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