• Livros
  • Tag: deductive verification

Livros — deductive verification

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
Prova de correção de programas

Prova de correção de programas

A

К. Рустан М. Лейно

Algoritmos e teoria