• Bücher
  • Tag: deductive verification

Bücher — deductive verification

EN
Leitfaden zur Softwareverifikation mit Frama-C: Kernkomponenten, Anwendungen und Nutzung

Leitfaden zur Softwareverifikation mit Frama-C: Kernkomponenten, Anwendungen und Nutzung

A

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles (Editors)

Programmiersprachen
RU
Korrektheitsbeweis von Programmen

Korrektheitsbeweis von Programmen

A

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

Algorithmen und Theorie