loop-invariant computation - Französisch Englisch Wörterbuch