Subject | English | Russian |
notar. | law states that | закон гласит, что (Yeldar Azanbayev) |
progr. | To prove more general theorems about recursively defined processes, it is necessary to introduce a law which states that every properly guarded recursive equation has only one solution | для доказательства более общих теорем о рекурсивно определённых процессах необходимо ввести закон, гласящий, что всякое должным образом предварённое рекурсивное уравнение имеет единственное решение (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn) |
gen. | the Convention has as its goals securing the prompt return of children wrongfully removed to or retained in any contracting State, and also ensuring that rights of custody and of access under the law of one contracting State are effectively respected in other contracting States. | целями этой Конвенции являются обеспечение немедленного возвращения детей, незаконно перемещённых в любое из Договорных государств или удерживаемых в любом из Договорных государств, а также того, чтобы права на опекунство и на доступ к ребёнку, предусмотренные законодательством одного Договорного государства, ... неуклонно соблюдались в других Договорных государствах |
progr. | the improvements in software are characterized by Corbato's law, which states that the number of lines of code is the same, independent of the language used | Усовершенствования программного обеспечения характеризуются Законом Корбато, который гласит, что число строк кода остаётся неизменным независимо от используемого языка (Bob Frankston) |
law | the law states that | закон гласит: (Alex_Odeychuk) |