- Руководства по пользованию программами
- Операционные системы и утилиты для ПК
- Интернет
- Графика. Дизайн. Проектирование
- Программы и утилиты для цифровых устройств
- Железо ПК
- Информатика
- Сети и коммуникации
- Бухгалтерия
- Базы данных
- Анализ данных
- Электронная бухгалтерия
- Машинное обучение. Анализ данных
- Менеджмент в IT
Введение в формальные методы верификации программ; ДМК Пресс, 2024
Где купить (1)
Цена от 1154 р. до 1154 р. в 1 магазинах
| Магазин | Цена | Наличие |
|---|---|---|
Описание
Книга основана на курсах лекций по формальным методам верификации программ, читаемых автором на кафедрах системного программирования МГУ, МФТИ и ВШЭ. Список тем включает: методы формализации семантики языков программирования (операционная и аксиоматическая семантика), методы формальной спецификации требований (программные контракты и темпоральная логика линейного времени), методы доказательства корректности программ (метод индуктивных утверждений и метод фундированных множеств) и методы проверки моделей (теоретико-автоматный подход в явной и символической формах); затрагиваются вопросы абстрактной интерпретации, разрешения ограничений, применения формальных методов в тестировании; даются сведения об инструментах Frama-C/AstraVer, Spin и SMV. Каждая глава сопровождается примерами и упражнениями. Книга предназначена для студентов и аспирантов программистских специальностей, а также преподавателей и исследователей в области информатики и программной инженерии.
Смотри также о книге.
О книге
| Параметр | Значение |
|---|---|
| ISBN | 978-5-93700-340-9 |
| Автор(ы) | А. С. Камкин |
| Издатель | ДМК Пресс |
| Год издания | 2024 |
| Форматы электронной версии |
Отзывы (0)
Добавить отзыв
Книги: Информационные технологии, Программирование - издательство "ДМК Пресс"
Категория 923 р. - 1384 р.
Книги: Информационные технологии, Программирование
Категория 923 р. - 1384 р.