ByteClub
Главная Каталог Правила Поддержка
Войти →
Книги / тег / верификация программ

Книги по тегу #верификация программ

всего · 1
RU
Логика и компьютер: Моделирование рассуждений и проверка правильности программ

Логика и компьютер: Моделирование рассуждений и проверка правильности программ

A

Н.А. Алешина, А.М. Анисов, П.И. Быстров, И.А. Герасимова, В.С. Меськов, Н.Н. Непейвода, В.А. Смирнов, В.Н. Стеблецова, В.И. Шалак

AI и ML
ByteClub

Библиотека IT-книг. Открыта круглосуточно, без шума, без всплывающих окон.

Каталог

  • Все книги
  • Новинки
  • Популярное
  • Правила категорий

Аккаунт

  • Регистрация
  • Вход
  • Профиль
  • Поддержка

Документы

  • Правила
  • Соглашение
© 2026 ByteClub · все права защищены