Translation of "predicates" into German
sagt aus, Eigenschaften, Prädikate are the top translations of "predicates" into German.
predicates
verb
noun
Plural form of predicate. [..]
-
sagt aus
verb -
Eigenschaften
nounVeriFast, on the other hand, is an analyser for C and Java source code annotated with predicates written in separation logic.
VeriFast dagegen dient der Analyse von Quellcode in C oder Java mit Eigenschaften, die in der sogenannten Separation Logic geschrieben wurden.
-
Prädikate
nounIt is shown that all sets of words definable by these predicates are regular.
Es wird gezeigt, daß die mit solchen Prädikaten definierbaren Wortmengen stets wieder regulär sind.
-
Less frequent translations
- Satzaussagen
- behauptet
- macht abhängig
-
Show algorithmically generated translations
Automatic translations of "predicates" into German
-
Glosbe Translate
-
Google Translate
Phrases similar to "predicates" with translations into German
-
prädikatives Verb
-
Prädikatsausdruck
-
Aussage · Eigenschaft · Prädikat · Prädikator · Satzaussage · abhängig machen · aussagen · behaupten · gründen · prädikat
-
Prädikant · predigend
-
Operatorprädikat
-
Prädikabilien
-
von bestimmten Bedingungen abhängig machen
-
globale Prädikate
Add example
Add