«程序正确性证明»

程序正确性证明 в энциклопедиях

Источники

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

Поделиться

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

_

program correctness proof, proof of program correctness