 |
| |||
| формальная семантика | |||
| модель программы (модель, построенная с помощью анализа исходного кода; синоним: формальная семантика; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk) | |||
|
formal semantics : 7 צירופים, 4 נושאים |
| חינוך | 3 |
| טֶכנוֹלוֹגִיָה | 1 |
| מָתֵימָטִיקָה | 1 |
| תִכנוּת | 2 |