loop-invariant computation - Spanisch Englisch Wörterbuch