• Livros
  • Tag: program correctness

Livros — program correctness

RU
Prova de correção de programas

Prova de correção de programas

A

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

Algoritmos e teoria