constant weakest precondition恒: permanent; lasting最: most; best; worst; first; ve ...弱: weak; feeble前置: prepose; preposition; pre-條件: condition; term; factor下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯
