Полное описание
>
Bloom, S. L. Iteration theories : the equational logic of iterative processes / S.L.Bloom,Z.@wEsik. - Berlin[etc.] : Springer , 1993. - XV,630 p. p. : ill. - (EATCS monographs on theoretical computer science). - ISBN 3-540-56378-4 : 60584 р. - Текст : непосредственный.
Библиогр.:с.621-630.Указ.:с.615-620
ГРНТИ | УДК | |
50.05.03 | 510 |
Рубрики:
Математическая логика -- Применение в вычислительной технике
Доп. точки доступа:
Esik, Z.
>
Имеются экземпляры в отделах: всего 3 : ХР (1), (2)
Свободны: ХР (1), (2)
Копия:
Заказ фрагмента документа ₽