THELIB
Katalog
Suche
Kategorieregeln
Regeln
Anmelden
Deutsch
Deutsch
Bücher
Tag: Floyd logic
Bücher — Floyd logic
Alle
RU
RU
Korrektheitsbeweis von Programmen
A
К. Рустан М. Лейно
Algorithmen und Theorie