 |
| |||
| верифицируемый управляемый код, безопасный по отношению к типам (управляемый код, созданный в строгом соответствии с условиями кода, безопасного по отношению к типам, для которого можно гарантировать проверку соблюдения этих условий в ходе выполнения ssn) | |||
|
verifiable type-safe managed code : 2 a las frases, 1 temas |
| Programación | 2 |