Наукова періодика України | Control systems & computers | ||
Letichevsky A. A. The Non-Deterministic Strategy of Rewriting / A. A. Letichevsky, O. A. Letichevskyi, V. S. Peschanenko // Управляющие системы и машины. - 2013. - № 6. - С. 53-58. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2013_6_11 Описана система алгебраического программирования - первая система переписывания термов, разделившая системы переписывающих правил и стратегии, а также система моделирования - базовая для системы верификации формальных спецификаций. Цитованість авторів публікації: Бібліографічний опис для цитування: Letichevsky A. A. The Non-Deterministic Strategy of Rewriting / A. A. Letichevsky, O. A. Letichevskyi, V. S. Peschanenko // Управляющие системы и машины. - 2013. - № 6. - С. 53-58. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2013_6_11. Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |