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

13  фев

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

Добавил natagu в категорию Книги / ПК и Интернет


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


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

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




Купить эту книгу в бумажном исполнении с доставкой




Рекомендуем к просмотру:






Информация

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