Libros
Lenguajes de programación.
C
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

Name: Guía de verificación de software con Frama-C: componentes principales, usos y aplicaciones
Author: Nikolai Kosmatov, Virgile Prevosto, Julien Signoles (Editors)
ISBN: 9783031556074

Frama-C software verification C static analysis formal methods ACSL deductive verification

Autor: Nikolai Kosmatov, Virgile Prevosto, Julien Signoles (Editors)
Editorial: Springer
Año: 2024
Idioma: Inglés; 80

Calificar este libro

Para leer el libro, iniciar sesión / registrarse

Vista previa del fragmento

Libros similares

Examen de Desarrollador Profesional Certificado Pivotal Core Spring 5: Una Guía de Estudio Usando Spring Framework 5. Segunda Edición.

Iuliana Cosmina

Construcción de compiladores con C: creación de intérpretes y compiladores eficientes

Theophilus Edet

C++ Core Guidelines Explicadas: Mejores Prácticas para C++ Moderno

Rainer Grimm

Técnicas Modernas de Pruebas de Software: Una Guía Práctica para Desarrolladores y Testers

István Forgács, Attila Kovács

Guía de Gestión de Proyectos de Software

Gerard O’Regan

Effective C, 2ª Edición: Una Introducción a la Programación Profesional en C

Robert C. Seacord

El arte de las pruebas de software, tercera edición

Glenford J. Myers, Tom Badgett, Corey Sandler

Pro Spring 6 con Kotlin: Una Guía Profunda para Usar las APIs de Kotlin en Spring Framework 6

Peter Späth, Iuliana Cosmina, Rob Harrop, Chris Schaefer

Requisitos de software, tercera edición

Karl Wiegers, Joy Beatty

Arquitectura Limpia: Guía del Artesano para la Estructura y Diseño de Software

Robert C. Martin