Kategorieregeln Regeln Anmelden

Bücher
Tag: Hoare logic

Bücher — Hoare logic

RU

Korrektheitsbeweis von Programmen

Korrektheitsbeweis von Programmen

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

Algorithmen und Theorie

THELIB

IT-Bibliothek mit Übersetzung in 8 Sprachen.

Katalog

Bücher
Kategorien
Regeln
Vereinbarung

Konto

Registrieren
Anmelden
Support

Info

thelib.cc
v0.1

© 2026 THELIB 8 Sprachen · KI-Übersetzung in Echtzeit