DictionaryForumContacts

   Russian English
Google | Forvo | +
создание подтипов на основе усиления инвариантов типовstresses
progr. subtyping with strengthening type invariants (Alex_Odeychuk); subtyping based on the strengthening of type invariants (Alex_Odeychuk)