formal semantics | |
IT | формальная семантика |
for | |
gen. | ибо; для; от; на расстояние; вместо; ради |
timed automata | |
progr. | синхронные автоматы |
| |||
формальная семантика | |||
модель программы (модель, построенная с помощью анализа исходного кода; синоним: формальная семантика; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk) |
formal semantics: 6 phrases in 2 subjects |
Education | 3 |
Programming | 3 |