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