• Livros
  • Tag: software verification

Livros — software verification

EN
Introdução ao Ada

Introdução ao Ada

A

Raphaël Amiard, Gustavo A. Hoffmann

Linguagens de programação
RU
Introdução à Linguagem de Programação Ada

Introdução à Linguagem de Programação Ada

A

Raphaël Amiard, Gustavo A. Hoffmann

Linguagens de programação
EN
Lógica e Modelos de Linguagem para Ciência da Computação

Lógica e Modelos de Linguagem para Ciência da Computação

A

Dana Richards, Henry Hamburger

Algoritmos e teoria