Presentación del autor Nikolai Kosmatov:

Libros publicados hasta ahora por Nikolai Kosmatov:

Guía para la verificación de software con Frama-C: Componentes básicos, usos y aplicaciones - Guide...
Springer Nature
Frama-C es un popular conjunto de herramientas de...
Guía para la verificación de software con Frama-C: Componentes básicos, usos y aplicaciones - Guide to Software Verification with Frama-C: Core Components, Usages, and Applications
<<
1
>>

© Book1 Group - todos los derechos reservados.
El contenido de este sitio no se puede copiar o usar, ni en parte ni en su totalidad, sin el permiso escrito del propietario.
Última modificación: 2024.11.14 07:32 (GMT)