Livres — verification

RU
Méthodes de métacalcul et leurs applications

Méthodes de métacalcul et leurs applications

A

С. М. Абрамов

Algorithmes et théorie
RU
Fondamentaux des tests et de la vérification des logiciels

Fondamentaux des tests et de la vérification des logiciels

B

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

Développement de logiciels
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
EN
CONCEPTION D'ALGORITHMES AVEC HASKELL

CONCEPTION D'ALGORITHMES AVEC HASKELL

A

Richard Bird, Jeremy Gibbons

Langages de programmation