Libros — ACSL

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.