Абрамов С.А.
Элементы анализа программ: Частичные функции на множестве состояний - Орос Наука главная редакция физико-математической литературы 1986 - 128
225
математическая кибернетика частичные функции анализ программы программирование
Элементы анализа программ: Частичные функции на множестве состояний - Орос Наука главная редакция физико-математической литературы 1986 - 128
225
математическая кибернетика частичные функции анализ программы программирование