Libros — verification

RU
Métodos de metacómputo y su aplicación

Métodos de metacómputo y su aplicación

A

С. М. Абрамов

Algoritmos y teoría
RU
Fundamentos de pruebas y verificación de software

Fundamentos de pruebas y verificación de software

B

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

Desarrollo de software
RU
Modelado de procesos paralelos. Redes de Petri

Modelado de procesos paralelos. Redes de Petri

A

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

Algoritmos y teoría
EN
DISEÑO DE ALGORITMOS CON HASKELL

DISEÑO DE ALGORITMOS CON HASKELL

A

Richard Bird, Jeremy Gibbons

Lenguajes de programación.