THELIB
Правила категорий Правила Войти
  • Книги
  • Тег: program verification

Книги — program verification

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

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

A

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

AI и ML
EN
Принципы компьютерного программирования: Математический подход

Принципы компьютерного программирования: Математический подход

A

Harlan D. Mills, Victor R. Basili, John D. Gannon, Richard D. Hamlet

Другое
THELIB

Библиотека IT-книг с переводом на 8 языков.

Каталог

  • Книги
  • Категории
  • Правила
  • Соглашение

Аккаунт

  • Регистрация
  • Войти
  • Поддержка

Инфо

  • thelib.cc
  • v0.1
© 2026 THELIB 8 языков · AI-перевод на лету