postcondition的翻译,读音

英/ˊpoustkәnˊdiʃәn/

释义:

单词postcondition书写

后[置]条件