Libros — Hoare logic

RU
Prueba de corrección de programas

Prueba de corrección de programas

A

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

Algoritmos y teoría