| А 16 |
Абрамов, С. А.
Элементы анализа программ. Частичные функции на множестве состояний [Текст] / С. А. Абрамов. – М. : Наука, 1986. – 128с. – (Библиотечка программиста). – Библиогр.: с.127. – 21000.
Описываются различные подходы к установлению свойств программ и доказательству теорем о программах. Для студентов. |
