TY  - BOOK
AU  - Абрамов,Сергей Александрович
TI  - Элементы анализа программ: Частичные функции на множестве состояний 
PY  - 1986///
CY  - Москва
PB  - Наука. Гл. ред. физ.-мат. лит.
KW  - Анализ
KW  - Вычислительные машины электронные
KW  - Программы
N2  - Библиогр.: с. 127 (17 назв.)
ER  -