Индекс УДК | 519.681 |
Элементы анализа программ. Частичные функции на множестве состояний Текст |
|
Место издания | Москва |
Издательство | Наука, Главная редакция физико-математической литературы |
Дата издания оригинала | 1986 |
Объем | 127, [1] с. |