 |
| |||
| формальная модель | |||
| семантика (semantics; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk) | |||
| |||
| формальные модели (ssn) | |||
|
formal model : 18 a las frases, 6 temas |
| Bases de datos | 1 |
| Inteligencia artificial | 2 |
| Programación | 5 |
| Seguridad de la información y protección de datos | 2 |
| Sistemas de seguridad | 2 |
| Tecnología de la información | 6 |