Элементы анализа программ : Частичные функции на множестве состояний /
С.А. Абрамов.
- Москва : Наука. Гл. ред. физ.-мат. лит., 1986.
- 127,[1] с. ; 20 см.
- Библиотечка программиста .
Библиогр.: с. 127 (17 назв.)
Анализ Вычислительные машины электронные Программы