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

Книги — formal methods

RU
Модели безопасности компьютерных систем: учебное пособие

Модели безопасности компьютерных систем: учебное пособие

A

Н. А. Богульская, М. М. Кучеров

Алгоритмы и теория
RU
Моделирование параллельных процессов. Сети Петри

Моделирование параллельных процессов. Сети Петри

A

Мараховский В. Б., Розенблюм Л. Я., Яковлев А. В.

Алгоритмы и теория
RU
Начала программирования

Начала программирования

A

Александр Степанов, Пол Мак-Джоунс

Алгоритмы и теория
EN
Logic and Language Models for Computer Science

Logic and Language Models for Computer Science

A

Dana Richards, Henry Hamburger

Алгоритмы и теория
THELIB

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

Каталог

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

Аккаунт

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

Инфо

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