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.