ablaufinvariant

維基詞典，自由的多語言詞典

德语[编辑]

adj. 出口不变的，（程序）同时可以被执行多次的

来自“https://zh.wiktionary.org/w/index.php?title=ablaufinvariant&oldid=1765772”