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

Книги — formal methods

EN
Тестирование программного обеспечения: концепции и операции

Тестирование программного обеспечения: концепции и операции

A

Ali Mili, Fairouz Tchier

Разработка ПО
EN
Руководство по верификации программного обеспечения с Frama-C: основные компоненты, применение и примеры использования

Руководство по верификации программного обеспечения с Frama-C: основные компоненты, применение и примеры использования

A

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles (Editors)

Языки программирования
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-перевод на лету