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

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

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

Войдите или зарегистрируйтесь для участия в складчине

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

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

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

Регистрация

Войти

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

Сверху Снизу