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