519    А 16     Абрамов, С. А.     Элементы анализа программ : частич. функции на множестве состояний / С. А. Абрамов. - Москва : Наука , 1986. - 127 с. - (Б-чка программиста). - Библиогр.: с. 127. - 00.00 ДРНТІ 27.41 УДК 519.682 Рубрики: Вычислительная математика    Обчислювальна математика Примірників всього: 2 АНЛ (2) Свободны: АНЛ (2)