 |
| |||
| семантика (semantics; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk) | |||
| формальная модель | |||
| |||
| формальные модели (ssn) | |||
|
formal model : 18 do fraz, 6 tematyki |
| Bazy danych | 1 |
| Bezpieczeństwo informacji i ochrona danych | 2 |
| Programowanie | 5 |
| Systemy bezpieczeństwa | 2 |
| Sztuczna inteligencja | 2 |
| Technologia informacyjna | 6 |