THELIB
Category Rules Rules Log in
  • Books
  • Tag: formal methods

Books — formal methods

RU
Computer System Security Models: A Study Guide

Computer System Security Models: A Study Guide

A

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

Algorithms and theory
RU
Modeling of Parallel Processes. Petri Nets

Modeling of Parallel Processes. Petri Nets

A

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

Algorithms and theory
RU
Introduction to Programming

Introduction to Programming

A

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

Algorithms and theory
EN
Logic and Language Models for Computer Science

Logic and Language Models for Computer Science

A

Dana Richards, Henry Hamburger

Algorithms and theory
THELIB

IT book library with translation into 8 languages.

Catalog

  • Books
  • Categories
  • Rules
  • Agreement

Account

  • Register
  • Log in
  • Support

Info

  • thelib.cc
  • v0.1
© 2026 THELIB 8 languages · AI translation on the fly