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