• Libros
  • Etiqueta: deductive verification

Libros — deductive verification

RU
Prueba de corrección de programas

Prueba de corrección de programas

A

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

Algoritmos y teoría