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

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

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

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

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

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

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

Регистрация

Войти

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

Сверху Снизу