ЖДТУ Бібліотека Електронний каталог
 
Захаров В.А.
Проверка эквивалентности программ с помощью двухленточных автоматов

Вид документа: Стаття періодичного видання
Автор: Захаров В.А. Авторський знак: З-38 Вид автора: персона
Мова: Російська Обсяг: С.39
Шифр: 519.71 УДК: 519.71
Є складовою частиною документа: Кибернетика и системный анализ
Карта Сайту

© Житомирський державний технологiчний університет