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

Книги — verification

RU
Методы метавычислений и их применение

Методы метавычислений и их применение

A

С. М. Абрамов

Алгоритмы и теория
RU
Основы тестирования и верификации программного обеспечения

Основы тестирования и верификации программного обеспечения

B

С. М. Старолетов

Разработка ПО
RU
Моделирование параллельных процессов. Сети Петри

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

A

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

Алгоритмы и теория
EN
ALGORITHM DESIGN WITH HASKELL

ALGORITHM DESIGN WITH HASKELL

A

Richard Bird, Jeremy Gibbons

Языки программирования
THELIB

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

Каталог

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

Аккаунт

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

Инфо

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