• Libros
  • Etiqueta: program correctness

Libros — program correctness

RU
Prueba de corrección de programas

Prueba de corrección de programas

A

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

Algoritmos y teoría