• Libros
  • Etiqueta: deductive verification

Libros — deductive verification

EN
Guía de verificación de software con Frama-C: componentes principales, usos y aplicaciones

Guía de verificación de software con Frama-C: componentes principales, usos y aplicaciones

A

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles (Editors)

Lenguajes de programación.
RU
Prueba de corrección de programas

Prueba de corrección de programas

A

К. Рустан М. Лейно

Algoritmos y teoría