DictionnaireLe forumContacts

   Russe Anglais
Google | Forvo | +
вычисление, инвариантное относительно циклаcontraintes
progr. loop-invariant computation (ssn)