• Книги
  • Тег: формальная верификация

Книги — формальная верификация

RU
Доказательство корректности программ

Доказательство корректности программ

A

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

Алгоритмы и теория