Livros — Frama-C

EN
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

A

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles (Editors)

Linguagens de programação
RU
Fundamentos de Teste e Verificação de Software

Fundamentos de Teste e Verificação de Software

B

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

Desenvolvimento de Software