Weakest preconditional semantics的意思|示意
美 / /
英 / /
最弱前置条件语义
Weakest preconditional semantics的网络常见释义
最弱前置语义 ...最弱前置语义;区间值进程演算;证据推理 [gap=1503]Keywords:Non-deterministic programa; Domain theory; Weakest preconditional semantics; Calculus of interval-valued processes; Reasoning of witnesses.