Скачать [ДМК] Методы верификации программ [Алексей Миронов]

Информация

Цена: 70 РУБ

Организатор:

Kail

Ссылки для скачивания

Организатор

13.11.2023

#SkladchinaVip
#1

[ДМК] Методы верификации программ [Алексей Миронов]

Ссылка на картинку

В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач.

PDF от издателя

Показать больше

Похожие складчины

Скачать Введение в формальные методы верификации программ [Александр Камкин]

Kail
24.10.2024

: 0

Ответы: 0

Просмотры: 210

24.10.2024

Kail

Скачать [ДМК] Проектирование гибких программ [Крис Хансон, Джеральд Джей Сассман]

Kail
17.06.2022

: 0

Ответы: 0

Просмотры: 351

17.06.2022

Kail

Скачать [ДМК] Мониторинг PostgreSQL [Алексей Лесовский]

Kail
16.04.2024

: 0

Ответы: 0

Просмотры: 217

16.04.2024

Kail

Скачать [ДМК] Доказательство корректности программ [К. Рустан, М. Лейно]

Kail
13.05.2024

: 0

Ответы: 0

Просмотры: 253

13.05.2024

Kail

Скачать Оптимизация программ на C++. Проверенные методы повышения производительности [Курт Гантерот]

Kail
15.12.2020

: 0

Ответы: 0

Просмотры: 360

15.12.2020

Kail

Показать больше складчин

Войдите или зарегистрируйтесь

Вы должны быть авторизованны для просмотра материала

Создать аккаунт

Создать учетную запись займет не больше минуты!

Регистрация

Войти

Уже зарегистрированы? Просто войдите.

Поделиться:

Facebook Twitter WhatsApp Электронная почта