Floyd-Hoare logic en · NOUN
Meanings
- (countable, uncountable) Synonym of Hoare logic.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| Floyd-Hoare logics | Number=Plur | lexicographic |
Dictionary
Words, grammatical forms and meanings linked to the ontology.
Words, grammatical forms and meanings linked to the ontology.
| Spelling | Features | Labels | Source |
|---|---|---|---|
| Floyd-Hoare logics | Number=Plur | lexicographic |