Livros
Linguagens de programação
C
Guia de Verificação de Software com Frama-C: Componentes Principais, Usos e Aplicações

Guia de Verificação de Software com Frama-C: Componentes Principais, Usos e Aplicações

Name: Guia de Verificação de Software com Frama-C: Componentes Principais, Usos e Aplicações
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)
Editora: Springer
Ano: 2024
Idioma: Inglês; 79

Avaliar este livro

Para ler o livro, entrar / registrar

Pré-visualizar fragmento

Livros similares

Exame Pivotal Certified Professional Core Spring 5 Developer: Um Guia de Estudo Usando o Spring Framework 5. Segunda Edição

Iuliana Cosmina

Construção de Compiladores com C: Criando Interpretadores e Compiladores Eficientes

Theophilus Edet

C++ Core Guidelines Explicadas: Melhores Práticas para C++ Moderno

Rainer Grimm

Técnicas Modernas de Teste de Software: Um Guia Prático para Desenvolvedores e Testadores

István Forgács, Attila Kovács

Guia para Gerenciamento de Projetos de Software

Gerard O’Regan

Effective C, 2ª Edição: Uma Introdução à Programação Profissional em C

Robert C. Seacord

A arte do teste de software, terceira edição

Glenford J. Myers, Tom Badgett, Corey Sandler

Pro Spring 6 com Kotlin: Um Guia Detalhado para Usar APIs Kotlin no Spring Framework 6

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

Requisitos de software, terceira edição

Karl Wiegers, Joy Beatty

Clean Architecture: Um Guia do Artesão para Estrutura e Design de Software

Robert C. Martin