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

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

PDF от издателя
 
Зарегистрируйтесь , чтобы посмотреть скрытый авторский контент.
Поиск по тегу:
Теги
алексей миронов дмк методы верификации программ
Похожие складчины
Kail
Скачать [ДМК] Проектирование гибких программ [Крис Хансон, Джеральд Джей Сассман]
  • Kail
  • Цена: 30 руб
0
Ответы
0
Просмотры
182
Kail
Kail
Kail
Скачать [ДМК] Мониторинг PostgreSQL [Алексей Лесовский]
  • Kail
  • Цена: 80 руб
0
Ответы
0
Просмотры
53
Kail
Kail
Kail
Скачать [ДМК] Доказательство корректности программ [К. Рустан, М. Лейно]
  • Kail
  • Цена: 120 руб
0
Ответы
0
Просмотры
65
Kail
Kail
Kail
Скачать Оптимизация программ на C++. Проверенные методы повышения производительности [Курт Гантерот]
  • Kail
  • Цена: 50 руб
0
Ответы
0
Просмотры
240
Kail
Kail
Kail
Скачать [ДМК] Реверс-инжиниринг встраиваемых систем [Алексей Усанов]
  • Kail
  • Цена: 100 руб
0
Ответы
0
Просмотры
331
Kail
Kail
Показать больше складчин

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

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

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

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

Регистрация

Войти

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

Сверху Снизу