«恒最弱前置条件»

恒最弱前置条件 в энциклопедиях

Поделиться

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

_

constant weakest pre-condition