| |||
инвариант типа (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) |
type invariant: 8 фраз в 2 тематиках |
Программирование | 7 |
Физика | 1 |