Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
Chinese
Danish
Dutch
English
Finnish
French
German
Hungarian
Latvian
Vietnamese
Terms
for subject
Programming
containing
мы оба
|
all forms
Russian
English
Здесь и далее мы неявно предполагаем, что алфавиты процессов в обоих частях уравнения совпадают
Here and elsewhere, we assume without stating it that the alphabets of the processes on each side of an equation are the same
(см.
Communicating Sequential Processes by C.A.R. Hoare
1985
ssn
)
Get short URL