• Bücher
  • Tag: deductive verification

Bücher — deductive verification

RU
Korrektheitsbeweis von Programmen

Korrektheitsbeweis von Programmen

A

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

Algorithmen und Theorie