Gefundene Synonyme für »Hoare-Logik«.
Computer:Hoare-Kalkül · Hoare-Logik
Klicken Sie auf die Synonyme, um die Ergebnisse weiter zu verfeinern.