• Livres
  • Tag : deductive verification

Livres — deductive verification

RU
Preuve de correction des programmes

Preuve de correction des programmes

A

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

Algorithmes et théorie