![]() |
| |||
program model (ssn); formal semantics (модель, построенная с помощью анализа исходного кода; синоним: формальная семантика; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk) |
модель программы : 47 phrases in 19 subjects |