необходимо имеет

Terms for subject Programming containing необходимо имеет | all forms

Russian	English
для доказательства более общих теорем о рекурсивно определённых процессах необходимо ввести закон, гласящий, что всякое должным образом предварённое рекурсивное уравнение имеет единственное решение	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)
если необходимо связать документ, который вы ещё не имеете, можно создать и вставить его непосредственно в обзор документов объекта, тогда делающий соединение	if you need to connect a document that you don't have yet, you can create and insert it directly into the object's document survey, which then makes the connection