 |
| |||
| инвариант типа (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 学科 |
| 物理 | 1 |
| 编程 | 7 |
|
| |||
| инвариант типа (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 学科 |
| 物理 | 1 |
| 编程 | 7 |