| |||
type invariant (an invariant is an assertion that is expected to be true for all objects of a given type when viewed from outside the package defining the type; корпорации AdaCore Alex_Odeychuk) |
инвариант типа: 11 phrases in 3 subjects |
Makarov | 1 |
Physics | 1 |
Programming | 9 |