• Libros
  • Etiqueta: software verification

Libros — software verification

EN
Introducción a Ada

Introducción a Ada

A

Raphaël Amiard, Gustavo A. Hoffmann

Lenguajes de programación.
RU
Introducción al lenguaje de programación Ada

Introducción al lenguaje de programación Ada

A

Raphaël Amiard, Gustavo A. Hoffmann

Lenguajes de programación.
EN
Lógica y Modelos de Lenguaje para Ciencias de la Computación

Lógica y Modelos de Lenguaje para Ciencias de la Computación

A

Dana Richards, Henry Hamburger

Algoritmos y teoría