«并行程序证明»

并行程序证明 в энциклопедиях

Источники

Большой китайско-русский словарь

Поделиться

Большой китайско-русский словарь

_

proving of concurrent program