«循环不变量计算»

循环不变量计算 в энциклопедиях

Источники

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

Поделиться

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

_

loop invariant computation