- nondeterminacy
- Nondeterminacy
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Predicate transformer semantics — is an extension of Floyd Hoare Logic invented by Dijkstra and extended and refined by other researchers. It was first introduced in Dijkstra s paper Guarded commands, nondeterminacy and formal derivation of programs . It is a method for defining… … Wikipedia
Semántica de transformación de predicados — La semántica de transformación de predicados es una extensión de Lógica de Floyd Hoare ideada por Edsger Dijkstra y extendida y refinada por otros investigadores. Esta extensión fue presentada por Dijkstra en sus artículos titulados Guarded… … Wikipedia Español
Edsger W. Dijkstra — Edsger Wybe Dijkstra Born May 11, 1930(1930 05 11) Rotterdam, Netherl … Wikipedia
Completely distributive lattice — In the mathematical area of order theory, a completely distributive lattice is a complete lattice in which arbitrary joins distribute over arbitrary meets. Formally, a complete lattice L is said to be completely distributive if, for any doubly… … Wikipedia
B4free — Méthode B Wikibooks propose un ouvrage abordant ce sujet : la méthode B … Wikipédia en Français
Click'n'Prove — Méthode B Wikibooks propose un ouvrage abordant ce sujet : la méthode B … Wikipédia en Français
Methode B — Méthode B Wikibooks propose un ouvrage abordant ce sujet : la méthode B … Wikipédia en Français
Méthode B — La méthode B est une méthode formelle de développement logiciel qui permet de modéliser de façon abstraite dans le langage de B le comportement d un programme, puis par raffinements successifs, d aboutir à un modèle concret, sous ensemble du… … Wikipédia en Français
Слабейшее предусловие — Преобразователи предикатов расширение логики Флойда Хоара, сделанное Э. Дейкстрой. Впервые появившись в [1][1], с помощью этого метода определяется семантика императивного программирования и соответствующего языка. В нём каждой команде языка… … Википедия