LOOP INVARIANT


Англо-русский перевод LOOP INVARIANT

ЯП инвариант цикла (утверждение (assertion), которое должно быть истинным при первом выполнении тела цикла и сохранять это значение до момента окончания цикла)

New large English-Russian dictionary .      Новый большой Англо-Русский словарь.