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

Информация
Цена: 70 РУБ
Организатор: Kail Kail
Ссылки для скачивания
Скачать Скачать Скачать
Kail
Kail
Организатор
Организатор
Регистрация
09.04.2020
Сообщения
424 078
Реакции
42 135
Монеты
1 191
Оплачено
0
Баллы
0
  • #SkladchinaVip
  • #1
[ДМК] Методы верификации программ [Алексей Миронов]
Ссылка на картинку
В книге излагаются вопросы
моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач.

PDF от издателя
Показать больше
 
Зарегистрируйтесь , чтобы посмотреть скрытый контент.
Поиск по тегу:
Теги
алексей миронов дмк методы верификации программ
Похожие складчины
Kail
Скачать Введение в формальные методы верификации программ [Александр Камкин]
  • Kail
0
Ответы
0
Просмотры
210
Kail
Kail
Kail
Скачать [ДМК] Проектирование гибких программ [Крис Хансон, Джеральд Джей Сассман]
  • Kail
0
Ответы
0
Просмотры
351
Kail
Kail
Kail
Скачать [ДМК] Мониторинг PostgreSQL [Алексей Лесовский]
  • Kail
0
Ответы
0
Просмотры
217
Kail
Kail
Kail
Скачать [ДМК] Доказательство корректности программ [К. Рустан, М. Лейно]
  • Kail
0
Ответы
0
Просмотры
253
Kail
Kail
Kail
Скачать Оптимизация программ на C++. Проверенные методы повышения производительности [Курт Гантерот]
  • Kail
0
Ответы
0
Просмотры
360
Kail
Kail
Показать больше складчин

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

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

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

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

Регистрация

Войти

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

Сверху Снизу