Werbung
 Übersetzung für 'Hoare rules' von Englisch nach Deutsch
comp.
Hoare rules
Hoare-Regeln {pl}
Teiltreffer
comp.
Hoare triple
Hoare-Tripel {n}
comp.
Hoare calculus
Hoare-Kalkül {m}
comp.
Hoare logic
Hoare-Logik {f}
geogr.
Lake Hoare
Hoaresee {m}
comp.
Floyd-Hoare logic
Floyd-Hoare-Logik {f}
comp.
Floyd-Hoare calculus
Floyd-Hoare-Kalkül {m}
rulesRegeln {pl}
4029
rulesGesetze {pl}
112
rules {pl} Ordnung {f} [Satzung, Regelwerk eines Vereins etc.]
rules {pl}Reglement {n} [geh.]
6
rulesRegularien {pl}
30
law
rules {pl}
Satzung {f}
55
dietary rulesSpeisevorschriften {pl}
law
arbitration rules {pl}
Schiedsordnung {f}
law
arbitration rules {pl}
Schiedsgerichtsordnung {f}
canteen rules {pl}Kantinenordnung {f}
house rules {pl}Heimordnung {f}
ling.
punctuation rules
Regeln {pl} der Zeichensetzung
ling.
punctuation rules
Interpunktionsregeln {pl}
club rules {pl}Vereinsordnung {f}
21 Übersetzungen
Neue Wörterbuch-Abfrage: Einfach jetzt tippen!

Anwendungsbeispiele Englisch
  • Hoare logic (also known as Floyd–Hoare logic or Hoare rules) is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs.
Werbung
© dict.cc English-German dictionary 2024
Enthält Übersetzungen von der TU Chemnitz sowie aus Mr Honey's Business Dictionary (nur Englisch/Deutsch).
Links auf das Wörterbuch oder auch auf einzelne Übersetzungen sind immer herzlich willkommen!