ЖДТУ Бібліотека Електронний каталог
 
Непомнящий В.А.
Верфикация финитных итераций над наборами изменяемых структур данных

Вид документа: Стаття періодичного видання
Автор: Непомнящий В.А. Авторський знак: Н53 Вид автора: персона
Мова: Російська Обсяг: С.33
Шифр: 519.172 УДК: 519.172
Є складовою частиною документа: Кибернетика и системный анализ
Карта Сайту

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