Livres — formal methods

RU
Modèles de sécurité des systèmes informatiques : manuel d'étude

Modèles de sécurité des systèmes informatiques : manuel d'étude

A

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

Algorithmes et théorie
RU
Modélisation des processus parallèles. Réseaux de Petri

Modélisation des processus parallèles. Réseaux de Petri

A

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

Algorithmes et théorie
RU
Initiation à la programmation

Initiation à la programmation

A

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

Algorithmes et théorie
EN
Logique et modèles de langage pour l'informatique

Logique et modèles de langage pour l'informatique

A

Dana Richards, Henry Hamburger

Algorithmes et théorie