Libros — Frama-C

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
Fundamentos de pruebas y verificación de software

Fundamentos de pruebas y verificación de software

B

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

Desarrollo de software