«并行程序验证»

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

Поделиться

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

_

verification of concurrent program