DictionaryForumContacts

Google | Forvo | +

type-wide contracts

stresses
progr. контракты на типы данных (predicates or invariants; корпорации AdaCore Alex_Odeychuk)

Add | Report an error | Get short URL