• Libros
  • Etiqueta: formal verification

Libros — formal verification

RU
Prueba de corrección de programas

Prueba de corrección de programas

A

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

Algoritmos y teoría