Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
Abkhaz
Arabic
Bulgarian
Chinese
Czech
Danish
Dutch
English
Esperanto
Estonian
Finnish
French
Georgian
German
Greek
Hebrew
Hungarian
Italian
Japanese
Kalmyk
Kazakh
Khmer
Latvian
Norwegian Bokmål
Polish
Portuguese
Romanian
Scottish Gaelic
Serbian Latin
Spanish
Swedish
Tajik
Turkish
Ukrainian
Vietnamese
Terms
for subject
Logic
containing
разделение
|
all forms
Russian
English
параллельная логика
разделения
concurrent separation logic
(версия логики, применимая для верификации параллельных вычислений с общей памятью
Alex_Odeychuk
)
с
разделением
логики
shared-logic
(
Alex_Odeychuk
)
Get short URL