nondeterminacy

nondeterminacy
Nondeterminacy

Большой англо-русский и русско-английский словарь. 2001.

Игры ⚽ Нужно решить контрольную?

Смотреть что такое "nondeterminacy" в других словарях:

  • 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], с помощью этого метода определяется семантика императивного программирования и соответствующего языка. В нём каждой команде языка… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»